advent-of-lean | Reservoir

METADATA

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
43 more

REPOSITORY

TristanCacqueray/advent-of-lean

advent-of-lean

Run bin with: lake exe advent-of-lean