Why Not Use Lean?(lawrencecpaulson.github.io)6 points by baruchel 70 days ago | 0 commentsNo comments yet