proofengineering.org

HTML metadata

Technology

CDN

Fastly

Server

GitHub.com

Social

• github
• facebook

Registration

Registrar

Tucows Domains Inc.

Created

2017-05-04

Expires

2027-05-04 350 days left

Updated

2026-05-08

Name servers

• ns1.hover.com
• ns2.hover.com

DNS records live

NS

• ns1.hover.com
• ns2.hover.com

Email authentication no MX

SPF

not published

DMARC

not published

DKIM

no key found at common selectors

Certificate (current)

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 50/100 Checked live page: https://proofengineering.org/

present

• strict-transport-security

findings

• missing Content Security Policy
• missing frame protection
• missing content type protection
• missing Referrer Policy
• missing Permissions Policy

Links to (20)

• inria.fr×4
• github.io×4
• fb.com×3
• github.com×3
• halfaya.org×3
• hol-theorem-prover.org×3
• ilyasergey.net×3
• irif.fr×3
• jamesrwilcox.com×3
• jessyli.com×3
• wordpress.com×3
• dougwoos.com×3
• arxiv.org×3
• nyazdani.com×3
• ryandoeng.es×3
• setoid.com×3
• tum.de×3
• u-paris.fr×3
• uwplse.org×3
• kth.se×1

Linked from (2)

• dependenttyp.es×4
• setoid.com×3