Live data from Hacker News

Lean Advent of Code 2025

Post reply on HN

Print view View original

1–3 of 3 posts

Lean Advent of Code 2025

#1

Post by ngrislain » Mon, Dec 01, 2025, 10:44 AM UTC

Lean Advent of Code 2025
github.com

Re: Lean Advent of Code 2025

#2

Post by ngrislain » Mon, Dec 01, 2025, 10:44 AM UTC

Advent of Code 2025 in Lean...

Re: Lean Advent of Code 2025

#3

Post by ngrislain » Fri, Dec 12, 2025, 1:34 PM UTC

Just finished

Post reply on HN