Mizar: The first usable proof assistant for mathematics

 (lawrencecpaulson.github.io)

1 points | by ibobev  4 hours ago

No comments yet.