If you have a Coq project using MathComp on GitHub, please add the tag
mathcomp to the repo (use the cogwheel next to the description). This could help us make
mathcomp a curated topic on GitHub (and thus easier to find).
@Karl Palmskog I did it for some repository in the math-comp organization.
Last updated: Feb 08 2023 at 07:02 UTC