Skip to content

Releases: argumentcomputer/LSpec

Pinned v4.12.0 release

10 Oct 12:16
@mpenciak mpenciak
v4.12.0-toolchain
504a8ce
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
Pinned v4.12.0 release Pre-release
Pre-release 
Merge pull request #46 from lenianiva/misc/v4.12.0

feat: Update to Lean 4.12.0
Loading