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!
-
Notifications
You must be signed in to change notification settings - Fork 1
Advent of Code 2022 solutions: Lean4
License
anurudhp/aoc2022
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Advent of Code 2022 solutions: Lean4