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: Apr 19 2024 at 21:01 UTC