adamchalmers / carroll

Carroll is a command-line tool for classical logic.
33Updated 9 years ago

Related projects

Alternatives and complementary repositories for carroll