Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP
Origine : Fichiers produits par l'(les) auteur(s)