EuroProofNet is the European research network on digital proofs. It aims at boosting the interoperability and usability of proof systems. It gathers 190 researchers on proof systems and formal proofs, from 30 different countries. To join the action, apply to the working groups you are interested in.

Description

Objectives

Deliverables

Teams

Tools

Publications