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
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 ...
Guy Coder's user avatar
  • 2,836