GitHub - oggy22/ProofChecker: ProofChecker is a compiler/proofer for mathematical notations and theories. Once finished, it should be able to parse mathematical notations including definitions, theorems and proofs and point out to errors if any.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
CSEnumGenerator		CSEnumGenerator
ProofChecker		ProofChecker
ProofCheckerEditor		ProofCheckerEditor
ProofCheckerTest		ProofCheckerTest
Theories		Theories
.gitattributes		.gitattributes
.gitignore		.gitignore
1418524981_20387.ico		1418524981_20387.ico
About ProofChecker.docx		About ProofChecker.docx
PreCommit.bat		PreCommit.bat
ProofChecker.sln		ProofChecker.sln
ProofCheckerTasks.xlsx		ProofCheckerTasks.xlsx
variable.png		variable.png
warnings.txt		warnings.txt

About

ProofChecker is a compiler/proofer for mathematical notations and theories. Once finished, it should be able to parse mathematical notations including definitions, theorems and proofs and point out to errors if any.