Mizar: The first usable proof assistant for mathematics

(lawrencecpaulson.github.io)

1 points | by ibobev 5 hours ago ago

No comments yet.