ProofChecker

A mathematical proof checker

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
ExprNode.java		ExprNode.java
Expression.java		Expression.java
ExpressionTest.java		ExpressionTest.java
IllegalInferenceException.java		IllegalInferenceException.java
IllegalLineException.java		IllegalLineException.java
InputSource.java		InputSource.java
LineNumber.java		LineNumber.java
Operator.java		Operator.java
Proof.java		Proof.java
ProofChecker.java		ProofChecker.java
ProofTest.java		ProofTest.java
README.md		README.md
TheoremSet.java		TheoremSet.java

Provide feedback