SPINdle

SPINdle is a reasoning engine for modal defeasible logic.

cf Turnip, which maybe supercedes?

Notes that link to this note