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

Commits

Commits on Mar 6, 2026