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

(blueberrywren.dev)

1 points | by fanf2 8 hours ago

No comments yet.