Draft: Resolve "Why3 goal oriented strategies : Correct some bugs" (!961) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 18.9.6
https://docs.gitlab.com/releases/18/gitlab-18-9-released/

Closes #802 (closed)