2 ms·Lean Advent of Code 20251 points by ngrislain 10mo agongrislain 10mo agoAdvent of Code 2025 in Lean...ngrislain 10mo agoJust finished