org.qedeq.kernel.bo.logic.proof.checker
Loading...
Class Coverage    
ProofCheckException ProofCheckException 0.6666667 (66.7%)
ProofChecker0Impl ProofChecker0Impl 0.7 (70%)
ProofChecker1Impl ProofChecker1Impl 0.7009174 (70.1%)
ProofChecker2Impl ProofChecker2Impl 0.4456929 (44.6%)