At a Glance
| Applications | Theorem Prover |
| Developers | JetBrains |
| Interfaces | CLI Library |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
Arend is a theorem prover and a programming language based on Homotopy Type Theory.
| Applications | Theorem Prover |
| Developers | JetBrains |
| Interfaces | CLI Library |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Arend is a theorem prover and a programming language based on Homotopy Type Theory.