The following examples are replays of interactive proofs done with the Squirrel Prover.