Deducteam / zenon_modulo

First-order automated theorem prover based on the tableau method
12Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for zenon_modulo