Stream: math-comp users

Topic: Adding mathcomp tag to GitHub projects


view this post on Zulip Karl Palmskog (Nov 08 2020 at 00:08):

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).

view this post on Zulip Cyril Cohen (Nov 08 2020 at 00:23):

@Karl Palmskog I did it for some repository in the math-comp organization.


Last updated: Feb 08 2023 at 07:02 UTC