Giters

TristanCacqueray / advent-of-lean

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

advent-of-lean

Run bin with: lake exe advent-of-lean

About

License:Apache License 2.0

Languages

Language:Lean 97.2%Language:Nix 2.8%