Mizar: The first usable proof assistant for mathematics

(lawrencecpaulson.github.io)

4 points | by chmaynard 6 hours ago ago

No comments yet.