provers

alan43

Several propositional provers