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

eprover / JavaRes Public

Notifications You must be signed in to change notification settings
Fork 1
Star 1

Pedagogical first-order prover in Java

Notifications

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

Repository files navigation

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.