http://benji3up2kxewkqfcq7buxk2xd6zwy3zggnurkrm3l4cvwy2iipvyyad.onion/mirrors/gmpdoc/References.html
Stallman and the GCC Developer Community, “Using the GNU Compiler
Collection”, Free Software Foundation, 2008, available online https://gcc.gnu.org/onlinedocs/ , and in the GCC package https://ftp.gnu.org/gnu/gcc/ B.2 Papers Yves Bertot, Nicolas Magaud and Paul Zimmermann, “A Proof of GMP Square
Root”, Journal of Automated Reasoning, volume 29, 2002, pp. 225-252. Also
available online as INRIA Research Report 4475, June 2002, https://hal.inria.fr/docs/00/07/21/13/PDF/RR-4475.pdf Christoph...