FRDCSA
Minor
Internal
External
Git
Packages
resolution-theorem-prover
Jump To:
Parent Description
A resolution theorem prover written in Lisp for UMaine's COS470: Artificial Intelligence course.