GITHUB ORGANIZATION
leanprover — GitHub organization
leanprover has 13.4k stars across their public GitHub repositories, ranking #1423 globally among GitHub organizations.
Top repositories
How many GitHub stars does leanprover have?
leanprover has 13.4k stars across their public repositories, ranking #1423 globally.
What is leanprover's most-starred repository?
Their most-starred public repository is lean4, with 8.8k stars.
Is leanprover an individual or an organization?
This is a GitHub organization account.