ACL2-PC::PSO

Print the most recent proof attempt from inside the proof-checker 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 psog and
pso!.