Mizar: The first usable proof assistant for mathematics

(lawrencecpaulson.github.io)

4 points | by chmaynard 5 hours ago ago