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

(blueberrywren.dev)

1 points | by fanf2 6 hours ago ago

No comments yet.