At a Glance
| Applications | Theorem Prover |
| Maintenance | Not Maintained |
Description
No Longer Maintained
Otter/Mace2 are no longer being actively developed, and maintenance and support minimal. We recommend using Otter/Mace2’s successor Prover9/Mace4 instead.