Hacker News new | ask | show | jobs
by Syzygies 33 days ago
I was hoping for Lean 4.