“Why not just use Lean?”lawrencecpaulson.github.io
217 points by ibobev 6 hours ago | 134 comments