This repository has been frozen. Lean 4 is now the official release.
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
This repository has been archived by the owner on Oct 14, 2023. It is now read-only.
Lean Theorem Prover
License
leanprover/lean3
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Lean Theorem Prover
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published