-
Notifications
You must be signed in to change notification settings - Fork 1
Pedagogical first-order prover in Java
License
eprover/JavaRes
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
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 0
No packages published