PrototypeCommon
leanprover/vscode-lean
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: this repository is read-only
- Owner
- leanprover (organization)
- Stars
- Stars: 114
- Forks
- Forks: 47
- Language
- TypeScript
- License
- Apache-2.0
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) 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/vscode-lean4Stars: 316TypeScriptAlpha
Nearby in TypeScript
All TypeScript repos- opencoredev/dithercnStars: 114TypeScriptPrototype
- stephanes-dev/CrestLyraStars: 114TypeScriptPrototype
- Townlanurture/aegis-skin-terminalStars: 114TypeScriptPrototype
- bartholomej/material-scrolltopStars: 114TypeScriptPrototype
- materiahq/materia-serverStars: 114TypeScriptPrototype
- jshor/tychoStars: 114TypeScriptPrototype