moratori / clover

A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

Geek Repo

Github PK Tool