# lean4

**Repository Path**: trusted-list/lean4

## Basic Information

- **Project Name**: lean4
- **Description**: Lean 4 programming language and theorem prover
- **Primary Language**: Unknown
- **License**: Apache-2.0
- **Default Branch**: master
- **Homepage**: https://lean-lang.org
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-03-13
- **Last Updated**: 2026-08-30

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

This is the repository for **Lean 4**.

# About

- [Quickstart](https://lean-lang.org/install/)
- [Homepage](https://lean-lang.org)
- [Theorem Proving Tutorial](https://lean-lang.org/theorem_proving_in_lean4/)
- [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/)
- [Documentation Overview](https://lean-lang.org/learn/)
- [Language Reference](https://lean-lang.org/doc/reference/latest/)
- [Release notes](RELEASES.md) starting at v4.0.0-m3
- [Examples](https://lean-lang.org/examples/)
- [External Contribution Guidelines](CONTRIBUTING.md)

# Installation

See [Install Lean](https://lean-lang.org/install/).

# Contributing

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

# Building from Source

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