LinkedIn Tag
Webinaire à venir : Questions-Réponses avec un QSA - PCI DSS 6.4.3 et 11.6.1 (cside x MegaplanIT)

lean-lang.org

Sep 5th 2025 04:30 PM

Squarespace Domains II LLC

signedDelegation

Oui

Jul 17th 2025 08:10 PM

Lean-lang.org is a domain that appears to be related to the Lean programming language, a statically typed, functional programming language. It's been registered since 2023 and is managed by Squarespace Domains II LLC. The domain's nameservers are managed by Google Domains. The scripts analysis shows that the domain is using the Tippy.js library for creating customizable tooltips and popovers, which is a popular JavaScript library for creating interactive UI components. The library is designed to be highly customizable and provides a set of options and plugins to easily integrate it with other tools and frameworks.

Résumé de la copie
Copier le lien
Utile
Pas utile
Informations WHOIS
registraire Squarespace Domains II LLC
Inscription : September 5th, 2023
Expire : September 5th, 2025
Mis à jour : July 17th, 2025
Serveurs de noms
ns-cloud-c1.googledomains.com. 216.239.32.108
ns-cloud-c2.googledomains.com. 216.239.34.108
ns-cloud-c3.googledomains.com. 216.239.36.108
ns-cloud-c4.googledomains.com. 216.239.38.108
Balises méta
viewport
width=device-width, initial-scale=1.0
Certificat SSL
Statut :

Handicapé

Expire : May 29th, 2025
Émetteur : Let's Encrypt
Enregistrements DNS
Nom d'hôte Type TTL Priorité Contenu
lean-lang.org A 14400
75.2.60.5
lean-lang.org NS 21600
ns-cloud-c1.googledomains.com.
lean-lang.org NS 21600
ns-cloud-c2.googledomains.com.
lean-lang.org NS 21600
ns-cloud-c3.googledomains.com.
lean-lang.org NS 21600
ns-cloud-c4.googledomains.com.
lean-lang.org TXT 14400
"google-site-verification=UPc_mfR36G5fZcboR-PAE7cqEZo-UN-42mAtGaMk-V4"
lean-lang.org SOA 21600
ns-cloud-c1.googledomains.com. cloud-dns-hostmaster.google.com. 12 21600 3600 259200 300
Réserver une démonstration