Skip to content

Refactoring: From Coq -> From Stdlib#5

Merged
k32 merged 2 commits intomainfrom
rocq
Mar 6, 2026
Merged

Refactoring: From Coq -> From Stdlib#5
k32 merged 2 commits intomainfrom
rocq

Conversation

@k32
Copy link
Copy Markdown
Contributor

@k32 k32 commented Mar 6, 2026

No description provided.

@k32 k32 merged commit ff89dc4 into main Mar 6, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant