Mentions légales du service

GitLab upgrade completed. Current version is 17.11.6.

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.
```

8d0162a0 · Lemma 4.7. · Sep 18, 2018

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