A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda

(blueberrywren.dev) by fanf2 | Oct 10, 2026 | 0 comments on HN