WhyMP, a formally verified arbitrary-precision integer library.

Guillaume Melquiond, Raphal Rieu-Helft

Browse the full ISSAC paper archive.