Deducteam/zenon_modulo

First-order automated theorem prover based on the tableau method

语言：OCaml · GitHub 星标：19 · Fork：7

在 GitHub 上查看原仓库