Hacker News new | ask | show | jobs
Lean Advent of Code 2025 (github.com)
1 points by ngrislain 199 days ago
2 comments
ngrislain 188 days ago
Just finished
link
ngrislain 199 days ago
Advent of Code 2025 in Lean...
link