erdos / cogentLinks

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

Sorting: