LinkedIn Tag
Upcoming Webinar: Q&A with a QSA - PCI DSS 6.4.3 & 11.6.1 (cside x MegaplanIT)

lean-lang.org

Sep 5th 2025 04:30 PM

Squarespace Domains II LLC

signedDelegation

Yes

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.

Copy Summary
Copy Link
Helpful
Not Helpful
WHOIS Information
Registrar Squarespace Domains II LLC
Registration: September 5th, 2023
Expires: September 5th, 2025
Updated: July 17th, 2025
Nameservers
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
SSL Certificate
Status:

Disabled

Expires: May 29th, 2025
Issuer: Let's Encrypt
DNS Records
Hostname Type TTL Priority Content
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
Book a demo