leanprover/lean4

Lean 4 programming language and theorem prover

Source code at GitHub https://lean-lang.org

{
  "createdAt": "2018-04-15T02:49:20Z",
  "defaultBranch": "master",
  "description": "Lean 4 programming language and theorem prover",
  "fullName": "leanprover/lean4",
  "homepage": "https://lean-lang.org",
  "language": "Lean",
  "name": "lean4",
  "pushedAt": "2025-11-26T02:07:28Z",
  "stargazersCount": 6777,
  "topics": [
    "lean",
    "lean4"
  ],
  "updatedAt": "2025-11-26T02:07:31Z",
  "url": "https://github.com/leanprover/lean4"
}

This is the repository for Lean 4.

About

Quickstart
Homepage
Theorem Proving Tutorial
Functional Programming in Lean
Documentation Overview
Language Reference
[Release notes]!(RELEASES.md) starting at v4.0.0-m3
Examples
[External Contribution Guidelines]!(CONTRIBUTING.md)

Installation

See Install Lean.

Contributing

Please read our [Contribution Guidelines]!(CONTRIBUTING.md) first.

Building from Source

See [Building Lean]!(doc/make/index.md).