#

animesh

Here is 1 public repository matching this topic...

animeshjn / resolution-theorem-prover

Proves the Sentences (LOGIC Formulae) given in Clausal Form

lisp artificial-intelligence clisp animesh resolution-proof clause-normal-form

Updated Dec 19, 2017
Common Lisp

Improve this page

Add a description, image, and links to the animesh topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the animesh topic, visit your repo's landing page and select "manage topics."