Papers with computer-checked proofs Page 1 Papers with computer-checked proofs Daniel J.
Bernstein1,2 1 Department of Computer Science, University of Illinois at Chicago, USA 2 Horst …