GitHub - leanprover-community/lean: Lean 3 Theorem Prover (community fork)

64 Branches 87 Tags

Name	Name	Last commit message	Last commit date
Latest commit PatrickMassot and eric-wieser Warn about deprecation in README (#815 ) Oct 12, 2023 f91b574 · Oct 12, 2023 History 14,307 Commits
.github	.github	ci: Update emscripten container (#805 )	May 6, 2023
.vscode	.vscode	feat(.vscode): Add a debug configuration for vscode (#726 )	Jun 10, 2022
bin	bin	fix(bin/leanpkg): handle spaces in paths on POSIX systems	Oct 27, 2018
doc	doc	chore(*): release 3.51.1 (#809 )	May 24, 2023
extras/latex	extras/latex	feat(extras/latex/lstlean): `ϖ` and `ᵒ` (#671 )	Jan 24, 2022
images	images	chore(CMakeLists.txt): move Lean logo to make sure we can test leanem…	Feb 1, 2015
leanpkg	leanpkg	fix(leanpkg): Correctly reference the community fork of lean in… (#131 )	Mar 2, 2020
library	library	fix(init/meta/instance_cache): propagate tags through unfreezingI (#804 )	May 6, 2023
script	script	ci: Update emscripten container (#805 )	May 6, 2023
src	src	fix(shell): add missing include (#813 )	Sep 27, 2023
tests	tests	fix(init/meta/instance_cache): propagate tags through unfreezingI (#804 )	May 6, 2023
tmp	tmp	chore(tmp/lean4.md): moved to google docs	Mar 21, 2018
.clang-format	.clang-format	feat(library/vm/process): add basic process support	Mar 29, 2017
.codecov.yml	.codecov.yml	fix(.codecov.yml): do not fail github ci if coverage drops by 0.01%	Jun 25, 2017
.gitattributes	.gitattributes	chore(.gitattributes): use `union` merge strategy for doc/changes.md	Dec 11, 2017
.gitignore	.gitignore	feat(tactic_log.cpp): log tactic invocations in AST (#614 )	Sep 12, 2021
LICENSE	LICENSE	Add LICENSE file	Jul 16, 2013
OLD_README.md	OLD_README.md	Warn about deprecation in README (#815 )	Oct 12, 2023
README.md	README.md	Warn about deprecation in README (#815 )	Oct 12, 2023
bors.toml	bors.toml	feat: aarch64 support (#630 )	Oct 20, 2021

Repository files navigation

Warning

Lean 3 is no longer actively maintained. It is strongly recommended that you use Lean 4 instead.

(If you need to read the old README.md, please see OLD_README.md.)

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

About

Releases 76

Packages

Contributors 69

Languages

License

leanprover-community/lean

Folders and files

Latest commit

History

Repository files navigation

About

Topics

Resources

License

Stars

Watchers

Forks

Releases 76

Packages 0

Contributors 69

Languages

Packages