First-order automated theorem prover based on the tableau method
Primary LanguageOCamlOtherNOASSERTION