Lean Advent of Code 2025 (github.com)

1 points by ngrislain 7mo ago ↗ HN

2 comments

[ 0.26 ms ] story [ 12.1 ms ] thread

ngrislain 7mo ago ↗

Advent of Code 2025 in Lean...

ngrislain 7mo ago ↗

Just finished