-
Jean-Christophe Filliâtre authored
no more need for cloning similar change in array.NumOf and array.NumOfEq updated proofs
2866fe3e
To find the state of this project's repository at the time of any of these versions, check out the tags.
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
no more need for cloning similar change in array.NumOf and array.NumOfEq updated proofs