Lean Advent of Code 2025 (github.com)

1 points by ngrislain 9mo ago ↗ HN

2 comments

[ 2.7 ms ] story [ 16.1 ms ] thread

ngrislain 9mo ago ↗

Advent of Code 2025 in Lean...

ngrislain 9mo ago ↗

Just finished