Roll your own
If you decide to use the web application for the exercises you can launch it from here Deriver [default] — username 'logic' password 'logic'. Then either copy and paste or type formulas into the Journal. Then select the desired formula(s) and Start Tree off the Actions Menu.
You will need to set some Preferences for this.
- set identity to true (and that will give you the identity rules)
- set modal to true (to get modal)
- and you can check that the parser is set to default.