Reservoir

No results found

advent-of-lean

Run bin with: lake exe advent-of-lean

Apache 2.0
2 years ago
4 stars

Lean

v4.7.0
v4.7.0-rc2
v4.6.1
v4.6.0
v4.6.0-rc1
v4.5.0
v4.5.0-rc1
v4.4.0
v4.4.0-rc1
v4.3.0
42 more

Repository

TristanCacqueray/advent-of-lean