Advancing-Machine-Human-Reasoning-Lab/matr-core

Fast, extensible, and parallelized natural deduction theorem prover implemented in Clojure/ClojureScript.

语言：Clojure · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库