Questions tagged [github-repository]
Use this for questions referencing GitHub repositories when the repository is of value to others on this site.
2
questions
8
votes
2
answers
739
views
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 ...
21
votes
1
answer
348
views
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 ...