Back
Séminaire de Théorie Algorithmique des Nombres
How to Get an Efficient yet Verified Arbitrary-Precision Integer Library
Raphael Rieu-Helft
( Université Paris-Sud )Salle 385
February 11, 2020 at 10:00 AM
We present a fully verified arbitrary-precision integer arithmetic library designed using the Why3 program verifier. It is intended as a verified replacement for the mpn layer of the state-of-the-art GNU Multi-Precision library (GMP).
