At a Glance
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | Inria |
| Inputs | WhyML |
| Interfaces | CLI Why3 |
| Licenses | GPLv3 |
| Maintenance | Actively Maintained |
Description
Abella is an interactive theorem prover based on lambda-tree syntax.
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | Inria |
| Inputs | WhyML |
| Interfaces | CLI Why3 |
| Licenses | GPLv3 |
| Maintenance | Actively Maintained |
Abella is an interactive theorem prover based on lambda-tree syntax.