eprover/JavaRes: Pedagogical first-order prover in Java · GitHub

Name		Name	Last commit message	Last commit date
src/atp		src/atp
LICENSE		LICENSE
README		README
build.xml		build.xml
supertestall.sh		supertestall.sh
testall2.sh		testall2.sh

Repository files navigation

README
GPL-2.0 license

This code implements simple, resolution-based theorem provers for
first-order logic. It is released as free software under the GNU GPL
version 2, and without any warranty. See the file COPYING for
details and the individual source headers for copyright information.