HN Explorer

1 comment

[ 3.8 ms ] story [ 197 ms ] thread
staunton
Preprint by DJB on the use of computer-checked proofs, particularly for cryptography