erdos / cogent

a small theorem prover in clojure
18Updated last year

Alternatives and similar repositories for cogent:

Users that are interested in cogent are comparing it to the libraries listed below