HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by Garlef | Hacker News Reader
Full thread
Garlef
·
I was hoping for applications.
View on HN
Syzygies
·
I was hoping for Lean 4.
Reply on news.ycombinator.com