Mentions légales du service

Skip to content

Upgrade to why3 1.7

MARCHE Claude requested to merge upgrade_to_why3_1_7 into master

Fix incompabilities with newer API of Why3 1.7

Added LGPL licence

Merge request reports