“Why not just use Lean?” | Hacker News

new | ask | show | jobs

“Why not just use Lean?” (lawrencecpaulson.github.io)

300 points by ibobev 2 days ago | 205 comments

Loading...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

yet another Hacker News client · github.com/reiuyuu/nhn