The Logic App SD

This app is based on the derivation system SD of "The Logic Book" by Bergman, Moor, and Nelson.

It should also be useful for other textbooks, but its a good idea to check with your instructor first.

Features:

- Assumptions and derived lines are colour-coded.
- Derivations can be tested for unjustified lines.
- Annotated derivations are generated automatically.
- Derivations can be exported to The Logic App SL.
- Save derivations and reload them later.