Why Not Use Lean?(lawrencecpaulson.github.io)7 points by sebg 24 days ago | 0 commentsNo comments yet