Arend: Theorem Prover Based on Homotopy Type Theory by JetBrainsarend-lang.github.io309 pointsadamnemecek7 years ago