For what it is worth, I am embarked on a (long-term) project to produce an open-source computer application that would be a context for creation, submission, and correction of exercises for Symbolic Logic. If you are contemplating study of Symbolic Logic, do not “wait for it,” it will be a long time coming. However over the next years I do hope to release the program bit by bit. Among goals are,
- Exercises are cleaner and easier (more fun) in SLAPP than on paper. (This is not trivially true – see many existing web apps.)
- Provides contextual feedback and checking, with goal that students always complete exercises correctly – or at least know that and where they have problems.
- Runs on as many platforms as possible – but primarily on laptop / desktop.
Quite generally, logic software is beset by a problem of resources: The market is not large enough to support full-scale commercial development (as for mathematics), and instructors may have neither the time nor training to develop full-fledged software projects on their own. I hope to overcome at least the time problem by the magic of “retirement”! T.R.