Proves the Sentences (LOGIC Formulae) given in Clausal Form
animeshjn/resolution-theorem-prover
Proves the Sentences (LOGIC Formulae) given in Clausal Form
Common LispGPL-3.0
Proves the Sentences (LOGIC Formulae) given in Clausal Form
Common LispGPL-3.0