leanprover/
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
Archived by Lean TypeScript Apache-2.0 licence 47 forks Created Dec 2016 View on GitHub
- Stars
- 114
- 1% of leanprover's stars
- Rank
- #436,793
- of 847,083 repos, top 52%
- In TypeScript
- #34,339
- of 61,833 repos, top 56%
Among 847,083 repos
100–160 stars: 154,379 repos, including vscode-lean
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #433,716
- Next milestone
- +5 stars to reach the top 50%
- Popular
- One of 488,395 repos with 100+ stars
- Yearly average
- 12 stars a year since Dec 2016