Draft: Resolve "Improvements on goal oriented strategies" (!970) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

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

Closes #809