Sign up for Zulip

EuroProofNet
https://epn.zulipchat.com

EuroProofNet is a COST action with the aim of boosting the interoperability and usability of proof systems.

More information can be found on the action's websites:
https://europroofnet.github.io/
https://www.cost.eu/actions/CA20111/


You need an invitation to join this organization.
OR