mosml.org

HTML metadata

Technology

CDN

Fastly

Server

GitHub.com

Social

• github

Registration

Registrar

Gandi SAS

Created

2013-07-15

Expires

2030-07-15 1516 days left

Updated

2025-07-06

Name servers

• ns-110-c.gandi.net
• ns-207-b.gandi.net
• ns-32-a.gandi.net

DNS records live

NS

• ns-110-c.gandi.net
• ns-207-b.gandi.net
• ns-32-a.gandi.net

Certificate (current)

Full certificate history on crt.sh ↗

Links to (2)

• github.com×2
• launchpad.net×2

Linked from (2)

• hol-theorem-prover.org×2
• sml-family.org×2