mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
10 lines
565 B
Markdown
10 lines
565 B
Markdown
# Lean 4 releases
|
|
|
|
We intend to provide regular "minor version" releases of the Lean language at approximately monthly intervals.
|
|
There is not yet a strong guarantee of backwards compatibility between versions,
|
|
only an expectation that breaking changes will be documented in the release notes.
|
|
|
|
[Release notes](https://lean-lang.org/doc/reference/latest/releases/#release-notes) are available in the Lean language reference.
|
|
|
|
Release notes for the current release candidate are available on the GitHub [releases](https://github.com/leanprover/lean4/releases) page.
|