LinkedIn Tag

isa-afp.org

Jul 20th 2026 04:35 PM

united-domains GmbH

unsigned

Oui

Aug 3rd 2025 09:13 AM

Isa-afp.org appears to be a domain related to international sports, possibly affiliated with the International Sports Association for the Physically Disabled. It's registered with United-domains GmbH since 2014, but its transfer is currently restricted.

Résumé de la copie
Copier le lien
Utile
Pas utile
Informations WHOIS
registraire united-domains GmbH
Inscription : July 20th, 2015
Expire : July 20th, 2026
Mis à jour : August 3rd, 2025
Serveurs de noms
ns.udag.net. 185.132.33.253
ns.udag.org. 185.132.34.253
ns.udag.de. 217.160.80.253
Balises méta
generator
Hugo 0.142.0
viewport
width=device-width, initial-scale=1
description
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
og:description
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
og:title
Archive of Formal Proofs
og:url
https://isa-afp.org/
og:image
https://isa-afp.org/images/afp.png
og:type
website
Certificat SSL
Statut :

Handicapé

Expire : May 25th, 2025
Émetteur : Let's Encrypt
Enregistrements DNS
Nom d'hôte Type TTL Priorité Contenu
isa-afp.org SOA 86400
ns.udag.de. hostmaster.united-domains.de. 2020122905 10800 3600 604800 3600
isa-afp.org A 3600
131.159.47.3
isa-afp.org TXT 600
"v=spf1 -all"
isa-afp.org MX 3600 10
mx00.udag.de.
isa-afp.org MX 3600 20
mx01.udag.de.
isa-afp.org NS 86400
ns.udag.net.
isa-afp.org NS 86400
ns.udag.org.
isa-afp.org NS 86400
ns.udag.de.