Skip to content

v4.30.0-rc1

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 Apr 13:14
· 562 commits to master since this release
v4.30.0-rc1
714601b

This is the first release candidate for the v4.30.0 release of Lean.

Assets 12
Loading