Mizar: The first usable proof assistant for mathematics(lawrencecpaulson.github.io)5 points by chmaynard 10 days ago | 0 commentsNo comments yet