Scheduled maintenance is currently in progress. We will provide updates as necessary.
Posted Dec 18, 2023 - 08:01 CET
Scheduled
On Monday between 8:30 and 10:30 we will update Agda PS Analys with a new version. Agda PS Analys will be down during the update, we will inform you when it is up and running again.
Posted Dec 15, 2023 - 15:23 CET
This scheduled maintenance affected: Agda PS Analys.