How to construct derivations

When a line follows from previous lines by a single application of a derivation rule, that line is coloured green. In the illustration, line 4 follows from lines 1 and 3.

At any point, an annotated version of the proof can be displayed in the right-hand window.

[ Previous ]   [ Next ]