Hacker Next
“Why not just use Lean?”lawrencecpaulson.github.io
295 points by ibobev 1 days ago | 203 comments