arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains
→

Metadata

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.

← Metadata

75
Stars
23
Forks
Watchers

Owner

verified publisher icon JetBrains

Metadata

Back