adamchalmers / carrollView on GitHub
Carroll is a command-line tool for classical logic.
33Mar 31, 2015Updated 10 years ago

Alternatives and similar repositories for carroll

Users that are interested in carroll are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?