LinkedIn Tag
Webinar em Breve: Perguntas e Respostas com um QSA - PCI DSS 6.4.3 e 11.6.1 (cside x MegaplanIT)

lean-lang.org

Sep 5th 2025 04:30 PM

Squarespace Domains II LLC

signedDelegation

Sim

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 Resumo
Copiar Link
Útil
Não Útil
Informações WHOIS
Registrador Squarespace Domains II LLC
Registro: September 5th, 2023
Expira: September 5th, 2025
Atualizado: July 17th, 2025
Servidores de Nome
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
Meta Tags
viewport
width=device-width, initial-scale=1.0
Certificado SSL
Status:

Desativado

Expira: May 29th, 2025
Emissor: Let's Encrypt
Registros DNS
Nome do Host Tipo TTL Prioridade Conteúdo
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
Agende uma demonstração