max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/RELEASES.md
Johan Commelin 13e2a0291c
chore: split RELEASES.md into releases/ folder (#6918) 
This will make it more straightforward to check automatically that the
release notes in the repository match the release notes on github.
2025-02-03 11:04:09 +00:00

592 B
Raw Blame History

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.

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.