Solutions written in Lean 4.
Source files: Aoc/Day<N>.lean
- Build:
lake build day<N>
- Run:
./build/bin/day<N>
If you are interested in learning lean4: Official Docs.
One final TODO: rewrite all partial functions as total functions!
Solutions written in Lean 4.
Source files: Aoc/Day<N>.lean
lake build day<N>
./build/bin/day<N>
If you are interested in learning lean4: Official Docs.
One final TODO: rewrite all partial functions as total functions!