Skip to content

v4.29.0-rc5

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 05 Mar 09:47
· 1992 commits to master since this release
v4.29.0-rc5
b83c0ee

This is the fifth release candidate for the v4.29.0 release of Lean.

Assets 12
Loading