blopesvieira/TableauxProver

An automatic and semi-automatic theorem prover on Tableaux

语言：Lua · GitHub 星标：6 · Fork：3

在 GitHub 上查看原仓库