lean-lang.org

• charset: UTF-8
• name: viewport content: width=device-width, initial-scale=1
• name: description content: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
• name: theme-color content: #3D6AC9
• property: og:title content: Lean Programming Language
• property: og:type content: article
• property: og:image content: https://lean-lang.org/static/png/banner.png
• property: og:url content: https://lean-lang.org
• property: og:image:alt content: Lean Programming Language
• property: og:site_name content: Lean Language
• name: twitter:title content: Lean Programming Language
• name: twitter:description content: Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
• name: twitter:image content: https://lean-lang.org/static/png/banner.png
• name: twitter:image:alt content: Lean Programming Language
• name: twitter:creator content: @leanprover
• name: twitter:card content: summary_large_image

• http://lean-lang.org/
• Install
• Learn
• Community
• Use cases
• Vision
• Lean playground
• Reservoir
• About
• Team
• Roadmap
• Contact
• https://live.lean-lang.org/?from=lean#codez=LTAEHIHECcEsDsAm5QFMBm7YGNavgC4A2AnqALYCG8lA5qgM6jYD25ADkagB6juUECqaPAoDsACwS1Q1RACgQzSg1SyapBrCYAjVCRZJQDAnMrREoU9gI4GAOnnyelDl1AAKXgC5QAOQEASlBfAAZQAB4xAklQXgB3WAIJeVBQAB9QcLSAXgA+UABGVIzQeABqQtB8uNByspCc0B0SEto4JCclAEEAVwI2ARxKIlJjFiIAN0ZjEhNUciYWdFAiBFRzUHWAR16RpLwHJxc3NS9QMl8ASUJg7xK0gCYAdlBAEyIiwoAqXnrCgGYvmRAEmEnx+dSKgLIHwALABWB6gUHAQrhD7PcFgACcQKRoAxvGxuIKMMazVaaXaCEQQA
• https://live.lean-lang.org/#project=mathlib-stable&codez=PQWhAIEFwBwJwJYFsCm4EGdwENwDsBXJAIxTnABts4BzM8AFwAts9wBGcAdwWfwHtGiAG4JsFcABMEojPzhYQwAFCSUAM3ABJDAAVEqcAAo2ALnAA5bAwCU4UwF4O4ADz5wgciJwgACJwAawAaZzc/cEAkwn9XdwiAGsjAYiJ8ZWVQCABRYTIAT3wiUnIqWnpmVmcWLFx4ZDR1bABjBnlwJWVmFHkUJHAUAA9MBgwAfSrUQdqGptNlcBmffCDONzYIwGAifyCdfWrIr1DEsydiLOn0PAY4QTYmdhOwcDTeJnoAAzxn9CwRlAA6X5OjwZ1bAYFBYJhfezaPQGNB4E4AdvANEQeEk4AA2lYGN9JMJJIM4BoKABdW4QX7fcBNXjgco4AR4EDnGRiCTSWRNHh8Sow8DjRpwBFU4gMbAINiAC/JAuBBoBL8kha2lix2kSWngS7kc4COJ1m4AwyBgg3EEnRmxhpL1/BFYslMCCgwd8q1vX6Qy+Y3qAsiRiOSJRkhsuv94rRmOsOLxg3OrAwpJSdwAKk8+V75Kygmp1OKUGjCXUCAoZCgKFkglymOACxhGl08PxRQwEPw2C0s6mJohxJCseFLNYTgAfcAABnADgAfBwh/gANScSfGNizjh2ABUHYFrKS9cbzbwpnYI+PY7YACIAIRn8dT/np7twhMQZM1NNdiSYWD8A1NzLNFRtB0XR3u+wzfpCvh4EEY5qhe9iHMcMziuclwANynJIBANPu7guKhU7IqGGIgay8apOAFI4KiUgsmoaJ+rwWB1C2Na8AQKBnJu8iKABTxAVIUYkd25iQUEvihIAJkTzKOUShBEezuHBWo6khZwXPg6GhlhTYtrh+HBoR1HhtiuL4kgBAUASCA0EwDBBFikZmRZgwUBoDCDPw6iDKZQRCSSySpMoADqaAYEw/BcIwLAMNwNREdQxC8HA1A5IUdDGKwaLMAQWDitmeC8CWxxIKwWR2BChAkGQGBBH6MAIHUfjijQVE4HAiUxnAOSVfk4CvM8yiZfq4U8HgLUlDFrxwSu7DvHSPLbCBlDUHQ5AlGw/XfMoLSAYSXRaHg+VsWoADy6hbKgWAidJawwOAU5QVCF1oHdymIacKFJDMLB/uYypsNNzhvSGRl+WBcYnNaoriuAEr2rS8NyvB3R9DW7owp6nZLuAgPsHYzCYCcGAEOo2Z1KC4AxHdUlsH6hmSCcyHqUYgyQtT+BBt92C/cEsDI+C3w3FzPN3fsOPI6ZmNbg+fOAJwE7N4IAXATGHTAac7S3NoFqDmS8TxDgPL4Bi7jyuG8bisnPTGIOdgkj4nrgKsOTlmueodn9iZUYtigxJAA
• Read More
• Read More
• Read More
• Read More
• Language reference
• Lean API
• FAQ
• Cite Lean
• Loogle
• Roadmap
• Privacy Policy
• Terms of Use
• Lean Trademark Policy
• https://bsky.app/profile/lean-lang.org

• https://github.com/leanprover/lean4
• https://www.sloan.org/
• https://www.convergentresearch.org/
• https://www.simonsfoundation.org/
• VS Code extension
• Mathlib
• https://www.linkedin.com/company/lean-fro
• https://functional.cafe/@leanprover
• https://x.com/leanprover
• https://leanprover.zulipchat.com/
• https://github.com/leanprover/

            Domain Name: LEAN-LANG.ORG

Registrar: Squarespace Domains II LLC

Domain Status: client delete prohibited

Domain Status: client transfer prohibited

Registry Expiry Date: 2026-09-05T16:30:12.378Z

Creation Date: 2023-09-05T16:30:12.378Z

Updated Date: 2025-08-26T18:48:13.53Z

Name Server: NS-CLOUD-C1.GOOGLEDOMAINS.COM

Name Server: NS-CLOUD-C2.GOOGLEDOMAINS.COM

Name Server: NS-CLOUD-C3.GOOGLEDOMAINS.COM

Name Server: NS-CLOUD-C4.GOOGLEDOMAINS.COM

REGISTRAR Contact: Squarespace Domains II LLC

>>> Last update of RDAP database: 2026-06-19T04:15:15Z