A arend-lang.github.io Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains 309 points adamnemecek 7 years ago 114 comments
