The Derivation Planner App and Exercises

10/26/26

Using the app with The Return of Rationality

There is a Derivation Planner app.

Derivation Planner as an App. The main advantage of this is that partial or completed proofs can be saved and returned to. They can also be shared with others.

If you are going to use the app, check in the Settings of the app that the parser has the value 'stegeman'.

Copy the link below, then use that link in the app to 'Open from URL ...' which is a menu item on the app's File menu:

https://softoption.us/test/Deriver/stegeman/StegemanAllE.html

If you then create partial proofs that you wish to save, 'Save the files As .lgc'. The alternative 'Saving As html' will not save proofs (or trees or diagrams).