Mechanizing Proof Computing, Risk, and Trust

A sociological approach to the history of proof, as applied to and performed by computer systems.