HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by Syzygies | Hacker News Reader
Parent
Full thread
Syzygies
·
I was hoping for Lean 4.
View on HN
No comments yet.