GitHub - moratori/clover: A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm. - moratori/clover
github.com github.com