About

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

Name	Name	Last commit message	Last commit date
Latest commit tydeu feat: bare `lake init` & validated pkg names Nov 16, 2023 5d1d493 · Nov 16, 2023 History 31,914 Commits
.github	.github	chore: Issue template: Suggest `#eval Lean.versionString` (leanprover…	Nov 16, 2023
.vscode	.vscode	doc: fix some syntax and link in the docs, and more	Oct 10, 2021
doc	doc	chore: releases for web assembly and x86 Linux (leanprover#2855 )	Nov 15, 2023
images	images	chore(CMakeLists.txt): move Lean logo to make sure we can test leanem…	Feb 1, 2015
nix	nix	fix: If src is a dir, assume the lean file has the full path (leanpro…	Aug 28, 2023
script	script	chore: fix identification of most recent nightly tag (leanprover#2827 )	Nov 6, 2023
src	src	feat: bare `lake init` & validated pkg names	Nov 16, 2023
stage0	stage0	chore: update stage0	Nov 12, 2023
tests	tests	feat: `IO.FS.Handle.lock`/`tryLock`/`unlock`	Nov 16, 2023
.gitattributes	.gitattributes	chore: Do not hide stage0/src/stdlib_flags.h from diffs	Sep 13, 2023
.gitignore	.gitignore	chore: update tests to account for `.lake`	Nov 14, 2023
.ignore	.ignore	chore: ignore stage0/ (for `rg` etc.)	Mar 18, 2022
CMakeLists.txt	CMakeLists.txt	feat: Web Assembly Build (leanprover#2599 )	Oct 4, 2023
CODEOWNERS	CODEOWNERS	chore: more code owners	Nov 16, 2023
CONTRIBUTING.md	CONTRIBUTING.md	doc: Update contribution guides (leanprover#2624 )	Oct 25, 2023
LICENSE	LICENSE	chore: remove LICENSE header that confused GitHub	Nov 18, 2021
LICENSES	LICENSES	chore: add GMP license for now	Nov 18, 2021
README.md	README.md	doc: Update contribution guides (leanprover#2624 )	Oct 25, 2023
RELEASES.md	RELEASES.md	chore: update release notes after v4.3.0-rc2	Nov 16, 2023
default.nix	default.nix	doc: setup	Jan 3, 2021
flake.lock	flake.lock	chore: Nix bump to LLVM 15	Jul 28, 2023
flake.nix	flake.nix	chore: Nix: use strings instead of URL literals (leanprover#2172 )	Mar 28, 2023
shell.nix	shell.nix	chore: Nix bump to LLVM 15	Jul 28, 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

Packages

Languages

License

Shamrock-Frost/lean4

Folders and files

Latest commit

History

Repository files navigation

About

Installation

Contributing

Building from Source

About

Resources

License

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages