jdevuyst/tableaux

Tableau-based theorem prover for public announcement logic

语言：Clojure · GitHub 星标：6 · Fork：1

话题：clojure · modal-logic · theorem-prover

在 GitHub 上查看原仓库