resolution-theorem-prover

Proves the Sentences (LOGIC Formulae) given in Clausal Form

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
LICENSE		LICENSE
LogicResolustion.fas		LogicResolustion.fas
LogicResolustion.lib		LogicResolustion.lib
LogicResolustion.lisp		LogicResolustion.lisp
README.md		README.md

Provide feedback