Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers

(blueberrywren.dev)

2 points | by birdculture 8 hours ago

No comments yet.