pso and
psog.
print the most recent proof attempt from inside the proof-checker
Major Section: PROOF-CHECKER-COMMANDS
Example and General Form: pso!
Print the most recent proof attempt from inside the proof-checker, including
proof-tree output, assuming you are in gag-mode or have saved output
(see set-saved-output). This includes all calls to the prover, including
for example proof-checker commands induct, split, and bash,
in addition to prove. So for example, you can follow (quiet prove)
with pso! to see the proof, including proof-tree output, if it
failed.
See also documentation for related proof-checker commands pso and
psog.