Skip to content

Releases: pitmonticone/LeanProject

v4.17.0-rc1

09 Feb 18:57
@github-actions github-actions
v4.17.0-rc1
34961fb
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.17.0-rc1 Latest
Latest

Automated release for Lean version v4.17.0-rc1

Assets 2
Loading

v4.16.0

03 Feb 19:00
@github-actions github-actions
v4.16.0
e114760
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.16.0

Automated release for Lean version v4.16.0

Assets 2
Loading

v4.16.0-rc2

14 Jan 12:04
@github-actions github-actions
v4.16.0-rc2
e5ee146
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.16.0-rc2

Automated release for Lean version v4.16.0-rc2

Assets 2
Loading

v4.16.0-rc1

05 Jan 14:00
@github-actions github-actions
v4.16.0-rc1
f1f861a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.16.0-rc1

Automated release for Lean version v4.16.0-rc1

Assets 2
Loading

v4.15.0-rc1

06 Dec 16:34
@github-actions github-actions
v4.15.0-rc1
536a3ca
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.15.0-rc1

Automated release for Lean version v4.15.0-rc1

Assets 2
Loading

v4.14.0-rc2

08 Nov 15:46
@github-actions github-actions
v4.14.0-rc2
6d2ac59
Compare
Choose a tag to compare
v4.14.0-rc2

Automated release for Lean version v4.14.0-rc2

Assets 2
Loading

v4.13.0

08 Nov 15:39
@github-actions github-actions
v4.13.0
ea3aed0
Compare
Choose a tag to compare
v4.13.0

Automated release for Lean version v4.13.0

Assets 2
Loading