Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers blueberrywren.dev 5 points by birdculture 4 weeks ago