Skip to content

Releases: LionSR/TNLean

Release list

v4.35.0-rc3

v4.35.0-rc3 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 26 Sep 17:18
v4.35.0-rc3
19f54a7
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.35.0-rc3

Assets 2
Loading

v4.34.0-rc1

v4.34.0-rc1

Choose a tag to compare

View all tags
@github-actions github-actions released this 18 Aug 13:12
v4.34.0-rc1
de29551
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.34.0-rc1

Loading

v4.32.0

v4.32.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 16 Jul 11:11
v4.32.0
8bb4d53

Automated release for Lean version v4.32.0

Loading

v4.31.0

v4.31.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 18 Jun 17:11
v4.31.0
4a8f117
This commit was signed with the committer’s verified signature.
claude Claude
SSH Key Fingerprint: 32dP45eSMmVSt/G/CGvcxl/P+MO3Nwj9xeTh/GSA2wc
Verified
Learn about vigilant mode.

Automated release for Lean version v4.31.0

Loading

v4.30.0-rc2

v4.30.0-rc2

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 May 21:49
v4.30.0-rc2
871b594
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-rc2

Loading

v4.29.0

v4.29.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 04 Apr 17:58
v4.29.0
6bedd98

Automated release for Lean version v4.29.0

Loading

v4.28.0

v4.28.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 01 Mar 07:29
v4.28.0
dc5a850

Automated release for Lean version v4.28.0

Loading