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 ]