The LRC Lemmon DerivationIn this derivation the sutdent works forward only, with assumptions tracked in classic Lemmon style.
The user must type formula, rule and lines correctly, with some graphical help from the system.
Upcoming ReleasesWe will soon release a more difficult version of this problem where the student has to enter the assumptions on each line. Further versions of the problem can remove the tutorial aids included here. We will also be releasing a typed derivation that is evaluated all at once rather than line-by-line.
