EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
23-24 September 2022
EuroProofNet is the European research network on digital proofs. EuroProofNet aims at boosting the interoperability and usability of proof systems. It is a COST action started on November 2021 now gathering more than 280 researchers from 42 different countries.