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

1 points | by fanf2 7 hours ago