Skip to content

Tags: rocq-prover/stdlib

Tags

V9.0.0

Toggle V9.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #122 from proux01/prepare900

Prepare 9.0.0

V9.0+rc1

Toggle V9.0+rc1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request #96 from proux01/rocq9rc

[CI] Test Rocq 9.0+rc1