coq-tricks icon indicating copy to clipboard operation
coq-tricks copied to clipboard

Published 20 hours ago • verified publisher icon tchajed

Finish renaming to Rocq

Open tchajed opened this issue 4 months ago • 0 comments

We should change references to the old coq-community/coq-tricks URL to account for the Rocq renaming, as well as fixing the README and some other places in the opam file.

tchajed avatar Jun 16 '25 14:06 tchajed