AlphaUncommon
leanprover/vscode-lean4
VS Code extension for the Lean 4 programming language and theorem prover
- Owner
- leanprover (organization)
- Stars
- Stars: 316
- Forks
- Forks: 106
- Language
- TypeScript
- License
- Apache-2.0
- Created
- 2020
- Topics
- vscodelean
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by leanprover
All 18 repos by leanprover- leanprover/lean4Stars: 9,820LeanStable
- leanprover/lean3Stars: 2,152C++RC
- leanprover/cslibStars: 789LeanBeta
- leanprover/elanStars: 672RustAlpha
- leanprover/versoStars: 405LeanAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
Nearby in TypeScript
All TypeScript repos- badlogic/pi-telegramStars: 316TypeScriptAlpha
- Ryderwe/Sollin-Music-DesktopStars: 316TypeScriptAlpha
- texpile/texpileStars: 316TypeScriptAlpha
- benbalter/github-mention-highlighterStars: 316TypeScriptAlpha
- OmniSharp/omnisharp-atomStars: 316TypeScriptAlpha
- dangeredwolf/ModernDeckStars: 316TypeScriptAlpha