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

1 points | by fanf2 an hour ago

No comments yet