blueberrywren.dev

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

Comments

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.