Can we have "mathcomp" tag in the repository description?

ilyasergey / pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

https://ilyasergey.net/pnp

BSD 2-Clause "Simplified" License

159 stars 16 forks source link

Closed anton-trunov closed 5 years ago

anton-trunov commented 5 years ago

This should increase discoverability on Github. (I can't add it)

anton-trunov commented 5 years ago

Can we also add https://ilyasergey.net/pnp in the website section of the repo description?

ilyasergey commented 5 years ago

Done, thanks.