Questions tagged [github-repository]
Use this for questions referencing GitHub repositories when the repository is of value to others on this site.
Explanation of Coq math-comp repositories
How are the Coq math-comp account and repositories related? Details One of my side goals is to try to keep the tags on this site meaningful and useful. Today I ran into this question: How to prove ...
What is the difference between `leanprover` and `leanprover-community` GitHub repositories?
I keep bumping into references to "Lean", but then find there are two GitHub repositories for Lean: https://github.com/leanprover and https://github.com/leanprover-community Can someone ...