/AoC

Repository for my solutions to the Advent of Code 2023 challenge in Lean 4.

Primary LanguageLean

No issues in this repository yet.