COOL as used for the CADE-29 paper
On Thursday, June 25, 2026, from 07:00 to 13:00, maintenance work will be performed on the GitLab server.
During this window, both GitLab and Mattermost will be unavailable or instable. Please plan your work accordingly.
COOL as used for the CADE-29 paper