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

2 pointsposted 8 hours ago
by birdculture
(blueberrywren.dev)

No comments yet