Skip to content

Releases: leanprover-community/LeanProject

Release list

v4.28.0

v4.28.0 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 23 Feb 23:27
v4.28.0
445179e
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

Assets 2
Loading

v4.27.0

v4.27.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 26 Jan 23:51
v4.27.0
15b8226

Automated release for Lean version v4.27.0

Loading

v4.27.0-rc1

v4.27.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 07 Jan 16:24
v4.27.0-rc1
b8042af

Automated release for Lean version v4.27.0-rc1

Loading

v4.25.1

v4.25.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 25 Nov 20:04
v4.25.1
9df0999

Automated release for Lean version v4.25.1

Loading

v4.25.0

v4.25.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Nov 23:35
v4.25.0
c2b4e27

Automated release for Lean version v4.25.0

Loading

v4.25.0-rc2

v4.25.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 12 Nov 21:30
v4.25.0-rc2
1ba8702
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.24.0

v4.24.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 12 Nov 20:51
v4.24.0
2e12300
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.24.0

Loading

v4.24.0-rc1

v4.24.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 21 Sep 00:06
v4.24.0-rc1
a2247a7
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.24.0-rc1

Loading

v4.23.0-rc2

v4.23.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Sep 04:20
v4.23.0-rc2
71bd763
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.23.0-rc2

Loading

v4.23.0

v4.23.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Sep 09:22
v4.23.0
a8162aa
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.23.0

Loading