logoalt Hacker News

Garlef • today at 7:51 AM • 1 reply • view on HN

I was hoping for applications.

Replies

Syzygies • today at 8:28 AM

I was hoping for Lean 4.