Papers with computer-checked proofs [pdf]

Preprint by DJB on the use of computer-checked proofs, particularly for cryptography