Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Lean Advent of Code 2025 | Better HN
Lean Advent of Code 2025
(opens in new tab)
(github.com)
1 points
ngrislain
5mo ago
2 comments
Share
2 comments
default
newest
oldest
ngrislain
OP
5mo ago
Just finished
ngrislain
OP
5mo ago
Advent of Code 2025 in Lean...
j
/
k
navigate · click thread line to collapse
