leanprover/lean3

Lean Theorem Prover

Source code at GitHub http://leanprover.github.io/

{
  "createdAt": "2013-07-17T00:42:34Z",
  "defaultBranch": "master",
  "description": "Lean Theorem Prover",
  "fullName": "leanprover/lean3",
  "homepage": "http://leanprover.github.io/",
  "language": "C++",
  "name": "lean3",
  "pushedAt": "2023-10-14T22:40:02Z",
  "stargazersCount": 2152,
  "topics": [
    "dependent-types",
    "lean",
    "programming-language",
    "theorem-proving",
    "type-theory",
    "verification"
  ],
  "updatedAt": "2025-10-24T12:08:35Z",
  "url": "https://github.com/leanprover/lean3"
}

This repository has been frozen. Lean 4 is now the official release.

About

Homepage
Theorem Proving in Lean
[FAQ]!(doc/faq.md)

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the [build instructions]!(doc/make/index.md).