Skip to content

Replace all uses of mattam82/Coq-Equations by rocq-prover/equations in gh-pages - #732

Open
blume0 wants to merge 1 commit into
rocq-prover:gh-pagesfrom
blume0:gh_pages_update_links
Open

Replace all uses of mattam82/Coq-Equations by rocq-prover/equations in gh-pages#732
blume0 wants to merge 1 commit into
rocq-prover:gh-pagesfrom
blume0:gh_pages_update_links

Commits

Commits on Jul 24, 2026