About

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).

Name	Name	Last commit message	Last commit date
Latest commit Kha chore: revert "perf: avoid taking mutex on task deactivation" (leanpr… Mar 20, 2025 f42a28f · Mar 20, 2025 History 35,619 Commits
.github	.github	chore: don't run MacOS aarch64 in merge queue (leanprover#7439 )	Mar 11, 2025
doc	doc	chore: post-leanprover#7100 cleanup (leanprover#7196 )	Feb 23, 2025
images	images	chore(CMakeLists.txt): move Lean logo to make sure we can test leanem…	Feb 1, 2015
nix	nix	fix: Windows stage0 linking (leanprover#6622 )	Jan 14, 2025
releases	releases	chore: copy v4.17.0 release notes from releases/v4.17.0 branch (leanp…	Mar 4, 2025
releases_drafts	releases_drafts	chore: cherry-pick release notes from releases/v4.15.0 and releases/v…	Jan 4, 2025
script	script	fix: indenting in release notes script (leanprover#7326 )	Mar 12, 2025
src	src	chore: revert "perf: avoid taking mutex on task deactivation" (leanpr…	Mar 20, 2025
stage0	stage0	chore: update stage0	Mar 20, 2025
tests	tests	chore: missing normalization rules for cutsat (leanprover#7583 )	Mar 20, 2025
.gitattributes	.gitattributes	chore: Do not hide stage0/src/stdlib_flags.h from diffs	Sep 13, 2023
.gitignore	.gitignore	feat: support Lake for building Lean core oleans (leanprover#3886 )	Jun 13, 2024
.gitpod.Dockerfile	.gitpod.Dockerfile	chore: add gitpod configuration (leanprover#6382 )	Dec 15, 2024
.gitpod.yml	.gitpod.yml	chore: add gitpod configuration (leanprover#6382 )	Dec 15, 2024
.ignore	.ignore	chore: ignore stage0/ (for `rg` etc.)	Mar 18, 2022
CMakeLists.txt	CMakeLists.txt	chore: `USE_LAKE` touchups (leanprover#7581 )	Mar 20, 2025
CMakePresets.json	CMakePresets.json	fix: prevent `Task.get` deadlocks from threadpool starvation (leanpro…	Jan 23, 2025
CODEOWNERS	CODEOWNERS	chore: adjust CODEOWNERS (leanprover#6327 )	Dec 10, 2024
CONTRIBUTING.md	CONTRIBUTING.md	doc: triage	Jul 26, 2024
LICENSE	LICENSE	chore: remove LICENSE header that confused GitHub	Nov 18, 2021
LICENSES	LICENSES	feat: ship cadical (leanprover#4325 )	Aug 23, 2024
README.md	README.md	chore: update documentation title and link README to reference (leanp…	Dec 17, 2024
RELEASES.md	RELEASES.md	chore: split RELEASES.md into releases/ folder (leanprover#6918 )	Feb 3, 2025
flake.lock	flake.lock	feat: upgrade cadical to 2.1.2 (leanprover#7347 )	Mar 5, 2025
flake.nix	flake.nix	feat: upgrade cadical to 2.1.2 (leanprover#7347 )	Mar 5, 2025
lean-toolchain	lean-toolchain	doc: VS Code dev setup (leanprover#2961 )	Nov 30, 2023
lean.code-workspace	lean.code-workspace	chore: add the lean4 extension to the vscode workspace (leanprover#3059 )	Dec 14, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

About

Installation

Contributing

Building from Source

About

Releases 14

Packages

Languages

License

opencompl/lean4

Folders and files

Latest commit

History

Repository files navigation

About

Installation

Contributing

Building from Source

About

Resources

License

Stars

Watchers

Forks

Releases 14

Packages 0

Languages

Packages