[–] staunton 2y ago ↗ Preprint by DJB on the use of computer-checked proofs, particularly for cryptography
1 comment
[ 2.2 ms ] story [ 56.8 ms ] thread