Skip to content

Releases: RemyDegenne/e-values

Release list

v4.30.0

v4.30.0 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Jun 17:10
v4.30.0
7806597
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Automated release for Lean version v4.30.0

Assets 2
Loading

v4.28.0-rc1

v4.28.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Feb 15:19
v4.28.0-rc1
ac1c874
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Automated release for Lean version v4.28.0-rc1

Loading

v4.25.0-rc2

v4.25.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Oct 07:15
v4.25.0-rc2
b464d16
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Automated release for Lean version v4.25.0-rc2

Loading

v4.20.0-rc5

v4.20.0-rc5

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 May 07:31
v4.20.0-rc5
5aacd24

Automated release for Lean version v4.20.0-rc5

Loading

v4.20.0-rc4

v4.20.0-rc4

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 May 07:52
v4.20.0-rc4
7fbafdc

Automated release for Lean version v4.20.0-rc4

Loading