This program will enumerate all possible proofs of an arbitrary calculus.