Arend Standard Library

September 13, 2023 ยท View on GitHub

JetBrains project check

Arend is a theorem prover based on Homotopy Type Theory. Visit arend-lang.github.io for more information about the Arend language.