Mizar: The first usable proof assistant for mathematics

(lawrencecpaulson.github.io) by danielam | Jul 14, 2026 | 0 comments on HN