Hacker News new | ask | show | jobs
by Garlef 34 days ago
I was hoping for applications.
1 comments
Syzygies 34 days ago
I was hoping for Lean 4.
link