Advent of Code 2025 done in Lean 4 - View it on GitHub
Star
18
Rank
1078751