Repository for my solutions to the Advent of Code 2023 challenge in Lean 4.
Primary LanguageLean
No one’s star this repository yet.