qtype list (!516) · 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/

Quentin Garchery requested to merge cert_quant_lp into cert_type_quant Apr 08, 2021