Questions tagged [github-repository]

Use this for questions referencing GitHub repositories when the repository is of value to others on this site.

Filter by
Sorted by
Tagged with
8 votes
2 answers

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 ...
Guy Coder's user avatar
  • 2,796
21 votes
1 answer

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: and Can someone ...
Guy Coder's user avatar
  • 2,796