Propositional Logic Problem Generator
Connecting to the TPTP Problem Library
Condensed Detachment
Combinatory Logic: Finding and Evaluating Combinators
Tools for Mathematical Analysis
Propositional Satisfiability Checker
Equational reasoning based on the unfailing Knuth-Bendix completion procedure
String rewriting system (semi-Thue system)
Automated theorem prover for first-order predicate logic based on resolution