4 ms·Preprint by DJB on the use of computer-checked proofs, particularly for cryptographyby staunton 3y agoPreprint by DJB on the use of computer-checked proofs, particularly for cryptography