Log in to 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/