Mentions légales du service

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

Tags

Tags give the ability to mark specific points in history as being important

POPL2019Final

3c3ec795 · Merge branch 'master' into POPL2019 · Nov 12, 2018
```
Final version of the artefact sent to POPL 2019.
```

Concrete

8d0162a0 · Lemma 4.7. · Sep 18, 2018

First version of the theorem that works for the concrete world.