Arend: A theorem prover based on Homotopy Type Theory

(arend-lang.github.io)

3 points | by fanf2 19 hours ago ago

No comments yet.