Sign up for Zulip

AeneasVerif
https://aeneas-verif.zulipchat.com

Discussion forum for the Aeneas / Charon toolchain, and associated backends

You need an invitation to join this organization.
OR