Mentions légales du service
GitLab upgrade completed. Current version is 17.11.6.
At this commit and before, pure Hoare-style reasoning is based on simp and so is restricted to confluent computations.
