You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Oct 14, 2023. It is now read-only.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-[Theorem Proving in Lean](https://leanprover.github.io/theorem_proving_in_lean/index.html)
-[Change Log](doc/changes.md)
-[FAQ](doc/faq.md)
-**Important**: Lean 3.4 is the latest release. It is also the last release for the Lean 3.x code base. Only major bugs (e.g., soundness) will be fixed for this code base from now on.
-**Important**: Lean 3.4.1 is the latest release. It is also the last release for the Lean 3.x code base. Only major bugs (e.g., soundness) will be fixed for this code base from now on.
We are currently developing Lean 4 in a new (private) repository.
The Lean 4 source code will be released here when ready. The main goals for Lean 4 are described [here](doc/lean4.md).
- For HoTT mode, please use [Lean2](https://github.com/leanprover/lean2).
