Skip to content

Support Rocq 9.1#91

Merged
4ever2 merged 5 commits intomainfrom
coq-9.1
Nov 6, 2025
Merged

Support Rocq 9.1#91
4ever2 merged 5 commits intomainfrom
coq-9.1

Conversation

@4ever2
Copy link
Collaborator

@4ever2 4ever2 commented Sep 23, 2025

Blocked until we get a new equations release for 9.1.

@4ever2 4ever2 marked this pull request as ready for review November 6, 2025 13:43
@4ever2 4ever2 merged commit 6ec7d0d into main Nov 6, 2025
24 checks passed
@4ever2 4ever2 deleted the coq-9.1 branch November 6, 2025 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments