Log inSign up
Image
user avatar
EuroProofNet
@EuroProofNet
European Research Network on Formal Proofs (#COSTAction 20111), aimed at boosting the interoperability & usability of proof systems.
Europe
europroofnet.github.io
Joined November 2021
7
Following
153
Followers
RepliesMedia