Mizar: The first usable proof assistant for mathematics

(lawrencecpaulson.github.io)

2 points | by danielam 4 hours ago ago

No comments yet.