wytp.provers
Classes
AutomatedTheoremProver