logoalt Hacker News

Syzygies • today at 8:28 AM • 0 replies • view on HN

I was hoping for Lean 4.