At a Glance
| Applications | Theorem Prover |
| Developers | University of Oxford |
| Inputs | Chyp |
| Interfaces | CLI |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
Chyp (pronounced “chip”) is an interactive theorem prover for symmetric monoidal categories (SMCs), a.k.a. process theories.