Library
| Tool | Description |
|---|---|
| Arend | Arend is a theorem prover and a programming language based on Homotopy Type Theory. |
| Paranoid Scientist | Runtime software verification and automated testing for scientific software in Python |
| Tool | Description |
|---|---|
| Arend | Arend is a theorem prover and a programming language based on Homotopy Type Theory. |
| Paranoid Scientist | Runtime software verification and automated testing for scientific software in Python |