Mentions légales du service
MAJ en 17.0.1 terminée. La release note principale concernant cette MAJ est ici:
Why3 0.64 release