juxtin / clj-bobLinks

The J-Bob proof assistant from The Little Prover in Clojure
61Updated 9 years ago

Alternatives and similar repositories for clj-bob

Users that are interested in clj-bob are comparing it to the libraries listed below

Sorting: