Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

leanprover/lean3

Lean Theorem Prover
Source code at GitHub http://leanprover.github.io/
leanprover/lean3.json
{
  "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

Section titled “About”

Installation

Section titled “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).