René's URL Explorer Experiment


Title: EuroProofNet

Open Graph Title: EuroProofNet

Description: Cost Action CA20111 EuroProofNet European Research Network on Formal Proofs

Open Graph Description: Cost Action CA20111 EuroProofNet European Research Network on Formal Proofs

Opengraph URL: https://europroofnet.github.io/

direct link

Domain: europroofnet.github.io

Hey, it has json ld scripts: 
{
  "@context": "https://schema.org",
  "@type": "Person",
    "name": null,
    "url": "https://europroofnet.github.io/"
}
og:typewebsite
og:localeen_US
og:site_nameEuroProofNet

Links:

Skip to primary navigationhttps://europroofnet.github.io#site-nav
Skip to contenthttps://europroofnet.github.io#main
Skip to footerhttps://europroofnet.github.io#footer
https://europroofnet.github.io/
EuroProofNet https://europroofnet.github.io/
Toolshttps://europroofnet.github.io/tools/
Schoolshttps://europroofnet.github.io/schools/
Confshttps://europroofnet.github.io/conferences/
Jobshttps://europroofnet.github.io/jobs/
Teachinghttps://europroofnet.github.io/teaching/
Gender balancehttps://europroofnet.github.io/gender-balance/
Contacthttps://europroofnet.github.io/contact/
Working Groupshttps://europroofnet.github.io/wg/
Research Groupshttps://europroofnet.github.io/groups/
Related projectshttps://europroofnet.github.io/projects/
Papershttps://europroofnet.github.io/publications/
Grantshttps://europroofnet.github.io/grants/
Eventshttps://europroofnet.github.io/events/
Newshttps://europroofnet.github.io/news/
https://europroofnet.github.io/
COST action CA20111https://www.cost.eu/actions/CA20111/
https://www.cost.eu/
COSThttps://www.cost.eu/
Zuliphttps://epn.zulipchat.com/
Facebookhttps://www.facebook.com/EuroProofNet
Twitterhttps://twitter.com/EuroProofNet
GitHubhttps://github.com/EuroProofNet/europroofnet.github.io
CA20111https://www.cost.eu/actions/CA20111/
COSThttps://www.cost.eu
H2020https://ec.europa.eu/programmes/horizon2020/
COSThttp://cost.eu
600 researchershttps://www.cost.eu/actions/CA20111/#tabs+Name:Working%20Groups%20and%20Membership
grantshttps://europroofnet.github.io/grants
Frédéric Blanquihttps://blanqui.gitlabpages.inria.fr/
Core grouphttps://europroofnet.github.io/contact
Learn more…https://europroofnet.github.io/description
Objectiveshttps://europroofnet.github.io/objectives
Deliverableshttps://europroofnet.github.io/deliverables
Questions?https://europroofnet.github.io/contact
proof toolshttps://europroofnet.github.io/tools
research groupshttps://europroofnet.github.io/groups
schoolshttps://europroofnet.github.io/schools
conferenceshttps://europroofnet.github.io/conferences
job offershttps://europroofnet.github.io/jobs
teachinghttps://europroofnet.github.io/teaching
genderhttps://europroofnet.github.io/gender-balance
Zulip chathttps://epn.zulipchat.com/
Youtubehttps://www.youtube.com/@institutpascal7781/playlists
EuroProofNet Symposiumhttps://europroofnet.github.io/Symposium
International School on Logical Frameworks and Proof Systems Interoperabilityhttps://europroofnet.github.io/LFPSI25
Workshop on automated reasoning and proof-logginghttps://europroofnet.github.io/wg2-symposium
2nd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systemshttps://jakobnordstrom.se/WHOOPS25/
Workshop on proof librarieshttps://europroofnet.github.io/WG4_Orsay25
Conference on Mathematical and Computational Linguistics for Proofshttps://europroofnet.github.io/MCLP
Workshop on program verificationhttps://europroofnet.github.io/wg3-Sept2025
Past eventshttps://europroofnet.github.io/events
GitHubhttps://github.com/EuroProofNet/europroofnet.github.io
CA20111https://www.cost.eu/actions/CA20111/
COSThttps://www.cost.eu
Feedhttps://europroofnet.github.io/feed.xml
EuroProofNethttps://europroofnet.github.io
Jekyllhttps://jekyllrb.com
Minimal Mistakeshttps://mademistakes.com/work/jekyll-themes/minimal-mistakes/

Viewport: width=device-width, initial-scale=1.0

URLs of crawlers that visited me.