Skip to content

[renaming] coq.zulipchat.com -> rocq-prover.zulipchat.com renaming#102

Open
mattam82 wants to merge 1 commit intocoq:mainfrom mattam82:rocq-zulipchat-renaming

Commits

Commits on Mar 11, 2025