Questions tagged [github-repository]
Use this for questions referencing GitHub repositories when the repository is of value to others on this site.
1
question
22
votes
1
answer
420
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 ...