Project2 in 61BL- UC Berekely. This program checks the validity of proofs at each step, based on a given theorem set.