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

 (blueberrywren.dev)

1 points | by birdculture 1 hour ago

0 comments