citp show

:show goal|unproved|proof|discharged

Shows the current goal, the up-to-now unproven (sub-)goals, and the current proof.

Related: :describe, citp

Example

PNAT> :show proof 
root*
[si]  1*
[ca]  1-1*
[ca]  1-2*
[tc]  1-2-1*
[si]  2*
[ca]  2-1*
[ca]  2-2*
[tc]  2-2-1*
PNAT>