Releases · Leandr0ER/NewLeanProject · GitHub

Repository navigation

Release list

v4.25.0-rc2 Latest

Latest

github-actions released this 07 Nov 19:33

be0220f

Automated release for Lean version v4.25.0-rc2

Assets 2