Resolve "Why3 pp : add support for `val` declarations" (!1234) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.11.6.

MARCHE Claude requested to merge 891-why3-pp-add-support-for-val-declarations into master Jun 17, 2025

Closes #891 (closed)