I like to view mathematical proofs as code for a virtual machine that is executed in the minds of the readers of the proof.