Skip to content

Releases: emilyriehl/infinity-cosmos

v4.16.0-rc2

14 Jan 15:07
@github-actions github-actions
v4.16.0-rc2
96a5375
Compare
Choose a tag to compare
v4.16.0-rc2 Latest
Latest

Automated release for Lean version v4.16.0-rc2

Assets 2
Loading

v4.15.0

07 Jan 17:36
@github-actions github-actions
v4.15.0
070accd
Compare
Choose a tag to compare
v4.15.0

Automated release for Lean version v4.15.0

Assets 2
Loading

v4.16.0-rc1

06 Jan 19:10
@github-actions github-actions
v4.16.0-rc1
4d2c733
Compare
Choose a tag to compare
v4.16.0-rc1

Automated release for Lean version v4.16.0-rc1

Assets 2
Loading

v4.14.0-rc3

01 Dec 13:01
@github-actions github-actions
v4.14.0-rc3
f6a9b15
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.14.0-rc3

Automated release for Lean version v4.14.0-rc3

Assets 2
Loading