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/