LinkedIn Tag

lean-lang.org

Sep 5th 2025 04:30 PM

Squarespace Domains II LLC

signedDelegation

Sí

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.

Copiar Resumen
Copiar Enlace
Útil
No Útil
Información WHOIS
Registrador Squarespace Domains II LLC
Registro: September 5th, 2023
Vence: September 5th, 2025
Actualizado: July 17th, 2025
Servidores de Nombres
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
Etiquetas Meta
viewport
width=device-width, initial-scale=1.0
Certificado SSL
Estado:

Deshabilitado

Vence: May 29th, 2025
Emisor: Let's Encrypt
Registros DNS
Nombre de Host Tipo TTL Prioridad Contenido
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