Arend: A theorem prover based on Homotopy Type Theory

(arend-lang.github.io) by fanf2 | Nov 15, 2025 | 1 comments on HN