This program enumerates all proofs for an arbiatrary propositional logic calculus up to a specified proof length.