Mizar: The first usable proof assistant for mathematics

(lawrencecpaulson.github.io) by ibobev | May 8, 2026 | 0 comments on HN