At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2017
SETHEO is a theorem prover for first-order logic based on some variant of the connection method.
| Applications | Theorem Prover |
| Interfaces | CLI |
| Maintenance | Not Maintained |
SETHEO is a theorem prover for first-order logic based on some variant of the connection method.