logoalt Hacker News

nymalt • today at 5:51 AM • 0 replies • view on HN

I used Lean for AoC last time and it’s really good.