Mizar: The first usable proof assistant for mathematics

(lawrencecpaulson.github.io) by chmaynard | May 7, 2026 | 0 comments on HN