Hacker News new | ask | show | jobs
Mizar: The first usable proof assistant for mathematics (lawrencecpaulson.github.io)
3 points by danielam 15 days ago