jtp.proof

Classes  AndIntroductionInference AxiomInference Implication Inference ModusPonensInference Proof ProofUtil UIInference

Exceptions  ImplicationConversionException ProofExtractionException