GitHub - skipor/ExpressionParser: Proof verification, based on my old ExpressionParser

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
.idea		.idea
out		out
resourceProofs		resourceProofs
src		src
test/ru/skipor/MathLogic		test/ru/skipor/MathLogic
testProofs		testProofs
ExpressionParser.iml		ExpressionParser.iml
ExpressionParser.jar		ExpressionParser.jar
Java HW 5.iml		Java HW 5.iml
MathLogic		MathLogic
README		README

Repository files navigation

Math logic course home works
Tasks 1, 2, 3 implemented
Run: ./MathLogic task_num input_file_name
example ./MathLogic 1 input.txt

Proof verification, based on my old ExpressionParser

No releases published

No packages published