HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Lean Advent of Code 2025 | Hacker News Reader
Lean Advent of Code 2025
github.com
1 point
·
ngrislain
·
·
2 comments
Open article
Save
View on HN
ngrislain
(original poster)
·
Just finished
ngrislain
(original poster)
·
Advent of Code 2025 in Lean...
Reply on news.ycombinator.com