Skip to content

Releases: pitmonticone/LeanProject

v4.22.0

14 Aug 23:58
@github-actions github-actions
v4.22.0
50b58a1
Compare
Choose a tag to compare
v4.22.0 Latest
Latest

Automated release for Lean version v4.22.0

Assets 2
Loading

v4.22.0-rc4

08 Aug 13:26
@github-actions github-actions
v4.22.0-rc4
a3b3317
Compare
Choose a tag to compare
v4.22.0-rc4

Automated release for Lean version v4.22.0-rc4

Loading

v4.22.0-rc3

07 Jul 09:26
@github-actions github-actions
v4.22.0-rc3
b233aaa
Compare
Choose a tag to compare
v4.22.0-rc3

Automated release for Lean version v4.22.0-rc3

Loading

v4.21.0

07 Jul 09:08
@github-actions github-actions
v4.21.0
bd9e469
Compare
Choose a tag to compare
v4.21.0

Automated release for Lean version v4.21.0

Loading

v4.21.0-rc3

16 Jun 10:25
@github-actions github-actions
v4.21.0-rc3
371c4e3
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.21.0-rc3

Automated release for Lean version v4.21.0-rc3

Loading

v4.21.0-rc2

16 Jun 10:23
@github-actions github-actions
v4.21.0-rc2
ffcdbd4
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.21.0-rc2

Automated release for Lean version v4.21.0-rc2

Loading

v4.21.0-rc1

16 Jun 10:03
@github-actions github-actions
v4.21.0-rc1
164a80b
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.21.0-rc1

Automated release for Lean version v4.21.0-rc1

Loading

v4.20.1-rc1

16 Jun 09:32
@github-actions github-actions
v4.20.1-rc1
f02768e
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.20.1-rc1

Automated release for Lean version v4.20.1-rc1

Loading

v4.20.1

16 Jun 09:49
@github-actions github-actions
v4.20.1
c19fda9
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.20.1

Automated release for Lean version v4.20.1

Loading

v4.20.0

02 Jun 20:35
@github-actions github-actions
v4.20.0
87a4e38
Compare
Choose a tag to compare
v4.20.0

Automated release for Lean version v4.20.0

Loading