Description

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 it's 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.