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.
The folder releases/ contains work-in-progress notes for the upcoming release, as well as previous stable releases.
Please check the releases page for the current status of each version.