lean-lang.org

.org crawl

First seen 2026-04-11 · Last seen 2026-05-16 · ok HTTP/1.1 200 5245 ms crawled 2026-04-29

US · 75.2.60.5 · AS16509 Amazon.com, Inc.

Reputation 100/100

Classifying

HTML metadata

Title: Lean Programming Language
Description: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Language: en

Open Graph

url: https://lean-lang.org
title: Lean Programming Language
site name: Lean Language

Technology

CDN: Netlify
CMS: Gatsby

Analytics

Plausible

Fonts

Google Fonts

Third-party hosts loaded (4)

cdn.jsdelivr.net×4
fonts.googleapis.com×2
fonts.gstatic.com×1
plausible.io×1

Social

Registration

Registrar

Squarespace Domains II LLC

Created

2023-09-05

Expires

2026-09-05 109 days left

Updated

2025-08-26

Name servers

ns-cloud-c1.googledomains.com
ns-cloud-c2.googledomains.com
ns-cloud-c3.googledomains.com
ns-cloud-c4.googledomains.com

Certificate (current)

E7

from 2026-04-25 to 2026-07-24

Expires in 66 days

Full certificate history on crt.sh ↗

Links to (13)

Linked from (11)