adamchalmers / carroll

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

Alternatives and similar repositories for carroll:

Users that are interested in carroll are comparing it to the libraries listed below