search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

readme

Arend Standard Library

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.