ngrislain/lean-adventofcode-2025

Advent of Code 2025 in Lean

1 best points · 2 comments · 1 Hacker News post · 4 GitHub stars · View on GitHub

Hacker News discussions

• Lean Advent of Code 2025 (1 points, 2 comments, by ngrislain, 2025-12-01)