At a Glance
| Applications | University of Cambridge |
| Developers | Inria |
| Inputs | WhyML |
| Interfaces | CLI Why3 |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
MetiTarski is an automatic theorem prover based on a combination of resolution and a decision procedure for the theory of real closed fields.