Lean 4.0
Lean 4.0
github.com Release v4.0.0 · leanprover/lean4
This is the first official release of Lean 4. We intend to begin regular releases of Lean 4, providing a new "minor" version approximately monthly. We do not yet make promises about backwards compa...
There is a discussion on Hacker News, but feel free to comment here as well.
1 comments
