2 ms·Papers with computer-checked proofs [pdf]3 points by staunton 3y agostaunton 3y agoPreprint by DJB on the use of computer-checked proofs, particularly for cryptography