At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | Yolo |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2015
A proof assistant.
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | Yolo |
| Maintenance | Not Maintained |
A proof assistant.