GitHub - leanprover/lean4: Lean 4 programming language and theorem prover

Branches Tags

Folders and files
Name Name
Last commit message
Last commit date
Latest commit

History
39,818 Commits
.claude
.claude

.github
.github

.vscode
.vscode

doc
doc

images
images

releases_drafts
releases_drafts

script
script

src
src

stage0
stage0

tests
tests

.gitattributes
.gitattributes

.gitignore
.gitignore

.gitpod.Dockerfile
.gitpod.Dockerfile

.gitpod.yml
.gitpod.yml

.ignore
.ignore

CMakeLists.txt
CMakeLists.txt

CMakePresets.json
CMakePresets.json

CODEOWNERS
CODEOWNERS

CONTRIBUTING.md
CONTRIBUTING.md

LICENSE
LICENSE

LICENSES
LICENSES

README.md
README.md

RELEASES.md
RELEASES.md

flake.lock
flake.lock

flake.nix
flake.nix

lean-toolchain
lean-toolchain

Name	Name	Last commit message	Last commit date
Latest commit History 39,818 Commits
.claude	.claude
.github	.github
.vscode	.vscode
doc	doc
images	images
releases_drafts	releases_drafts
script	script
src	src
stage0	stage0
tests	tests
.gitattributes	.gitattributes
.gitignore	.gitignore
.gitpod.Dockerfile	.gitpod.Dockerfile
.gitpod.yml	.gitpod.yml
.ignore	.ignore
CMakeLists.txt	CMakeLists.txt
CMakePresets.json	CMakePresets.json
CODEOWNERS	CODEOWNERS
CONTRIBUTING.md	CONTRIBUTING.md
LICENSE	LICENSE
LICENSES	LICENSES
README.md	README.md
RELEASES.md	RELEASES.md
flake.lock	flake.lock
flake.nix	flake.nix
lean-toolchain	lean-toolchain

About

Lean 4 programming language and theorem prover

lean-lang.org

Topics

lean lean4

Resources

Readme

License

Apache-2.0 license

Contributing

Contributing

Activity

Custom properties

Stars

7.5k stars

Watchers

73 watching

Forks

778 forks

Report repository

Releases 111

v4.28.0 Latest

Feb 16, 2026

+ 110 releases

Packages

Contributors

Languages

Lean 94.5%

C++ 4.1%

Python 0.7%

Shell 0.4%

CMake 0.3%

Swift 0.0%

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

About

Installation

Contributing

Building from Source

About

Uh oh!

Releases 111

Packages

Uh oh!

Uh oh!

Contributors

Uh oh!

Languages

Repository files navigation