Deducteam / zenon_modulo

First-order automated theorem prover based on the tableau method
12Updated this week

Related projects

Alternatives and complementary repositories for zenon_modulo