Skip to content

Tags: leanprover/cslib

Tags

v4.24.0

Toggle v4.24.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
chore: bump toolchain to v4.24.0 (#103) Co-authored-by: Chris Henson <chrishenson.net@gmail.com>

v4.24.0-rc1

Toggle v4.24.0-rc1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
chore: bump toolchain to v4.24.0-rc1 (#60) * chore: bump toolchain to v4.24.0-rc1 * update case names

v4.22.0

Toggle v4.22.0's commit message
fix AllQuest uses