erdos / cogent

a small theorem prover in clojure
18Updated 2 years ago

Alternatives and similar repositories for cogent:

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