At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
LISA is a proof assistant based on first-order logic sequent calculus and set theory.
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
LISA is a proof assistant based on first-order logic sequent calculus and set theory.