GitHub - slomo/fol-2012: First-Order-Logic

Name		Name	Last commit message	Last commit date
Latest commit History 104 Commits
tptp-test		tptp-test
.gitignore		.gitignore
README		README
acceptance_test.py		acceptance_test.py
fofTypes.py		fofTypes.py
loader.py		loader.py
main.py		main.py
operations.py		operations.py
parser.hs		parser.hs
parser.py		parser.py
parser_test.py		parser_test.py
resolution.py		resolution.py
resolution_test.py		resolution_test.py
test.tptp		test.tptp
unification.py		unification.py
unification_test.py		unification_test.py

Repository files navigation

A simple theorem prover for a university couse
The folder tptp-test contains tests used for determining the functionality
of the prover.

First-Order-Logic

No releases published

No packages published