igreat/tiny-prover

A simple first order logic theorem prover using tableaux

语言：OCaml · GitHub 星标：1 · Fork：0

话题：binary-tree · coq · first-order-logic · functional-programming · lean · logic · propositional-logic · tableau

在 GitHub 上查看原仓库