Skip to content

eprover/JavaRes

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

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.

About

Pedagogical first-order prover in Java

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published