Jesper Cockx's Blog · Oct 15, 2021
EuroProofNet: the European research network on digital proofs
0Sign in to vote or save
This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Jesper Cockx - EuroProofNet: the European research network on digital proofs Jesper Cockx Home Blog Papers Talks Teaching Links EuroProofNet: the European research network on digital proofs Posted by Jesper on October 15, 2021 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…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.