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

1 pointsposted 8 hours ago
by fanf2
(blueberrywren.dev)

No comments yet