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