Mentions légales du service

GitLab upgrade completed. Current version is 18.7.4
https://about.gitlab.com/releases/2025/12/18/gitlab-18-7-released/

Tags

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

POPL2024submission

f7ae3532 · anonymize theories/pqueue/README.md · Jul 11, 2023
```
POPL 2024 submission: anonymous archive created by create-archive.sh.
```