/AoC

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

Primary LanguageLean

Stargazers

No one’s star this repository yet.