juxtin/clj-bob

The J-Bob proof assistant from The Little Prover in Clojure

语言：Clojure · GitHub 星标：61 · Fork：7

在 GitHub 上查看原仓库