Arend: A theorem prover based on Homotopy Type Theory arend-lang.github.io 3 points by fanf2 3 hours ago