System to prove classical propositional tautologies.
Propositional proof system