At a Glance
| Applications | Theorem Prover |
| Developers | PLSE lab |
| Interfaces | CLI |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2015
Arvo is a proof assistant from the PLSE lab.
| Applications | Theorem Prover |
| Developers | PLSE lab |
| Interfaces | CLI |
| Maintenance | Not Maintained |
Arvo is a proof assistant from the PLSE lab.