daijo/classic-rtp

Mirror: Classic-rtp: A classic Resolution Theorem Prover by Shaul Markovitch.

Common Lisp