MKRP

The Markgraph Karl Refutation Procedure, a graph-based resolution theorem prover written in Common Lisp

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
examples		examples
manual		manual
mkrp		mkrp
omega		omega
prog		prog
sys		sys
sys280793		sys280793
README		README
README.md		README.md
antwort		antwort
code.lisp		code.lisp
code1.lisp		code1.lisp
compilerlisting.text		compilerlisting.text
mbox		mbox
mkrp-acl		mkrp-acl
mkrp-post		mkrp-post
mkrp.fasl		mkrp.fasl
mkrp.lisp		mkrp.lisp
readme.text		readme.text
repair-mkrp.lisp		repair-mkrp.lisp
repair.lisp		repair.lisp

theoremprover-museum/MKRP