#
refutation-tree
Here is 1 public repository matching this topic...
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
lispcommon-lisplogictheorem-provingproof-assistantlogic-programmingsymbolic-computationprovermathematical-logicterm-rewritingtheorem-proverknuth-algorithmrefutation-tree
- Updated
Jun 19, 2022 - Common Lisp
Improve this page
Add a description, image, and links to therefutation-tree topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with therefutation-tree topic, visit your repo's landing page and select "manage topics."