` `

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 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!`

.