Skip to content

Releases: leanprover/cslib

v4.29.0-rc2

25 Feb 05:47
@github-actions github-actions
v4.29.0-rc2
1316808
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.29.0-rc2 Pre-release
Pre-release 
chore: bump toolchain to v4.29.0-rc2 (#368)

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>
Loading

v4.29.0-rc1

19 Feb 01:08
@github-actions github-actions
v4.29.0-rc1
24899be
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.29.0-rc1 Pre-release
Pre-release 
chore(CombinatoryLogic): miscellaneous grind golfing (#345)

Low priority

---------

Co-authored-by: twwar <tom.waring@unimelb.edu.au>
Co-authored-by: Chris Henson <chrishenson.net@gmail.com>
Loading