Sign up for Zulip
Verify
https://zulip.verify.rwth-aachen.de
Chat Server for Lehr- und Forschungsgebiet Informatik 2 - "Programmiersprachen und Verifikation"
You need an invitation to join this organization.
Already have an account? Log in