animeshjn / resolution-theorem-prover

Proves the Sentences (LOGIC Formulae) given in Clausal Form

Geek Repo

Github PK Tool