Skip to content

registry: rename coq to rocq#5985

Merged
jdx merged 2 commits into
jdx:mainfrom
risu729:coq-rename
Aug 12, 2025
Merged

registry: rename coq to rocq#5985
jdx merged 2 commits into
jdx:mainfrom
risu729:coq-rename

Commits

Commits on Aug 12, 2025