whymp: add some mpz functions (!533) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:

https://about.gitlab.com/releases/2024/05/16/gitlab-17-0-released/

Raphaël Rieu-Helft requested to merge mpz_fixes into master Apr 27, 2021