PrototypeCommune
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.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 114
- Forks
- Forks : 47
- Langage
- TypeScript
- Licence
- Apache-2.0
- Création
- 2016
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- leanprover/lean4Étoiles : 9 804LeanStable
- leanprover/lean3Étoiles : 2 153C++RC
- leanprover/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
D’autres dépôts TypeScript
Tous les dépôts TypeScript- opencoredev/dithercnÉtoiles : 114TypeScriptPrototype
- stephanes-dev/CrestLyraÉtoiles : 114TypeScriptPrototype
- Townlanurture/aegis-skin-terminalÉtoiles : 114TypeScriptPrototype
- bartholomej/material-scrolltopÉtoiles : 114TypeScriptPrototype
- materiahq/materia-serverÉtoiles : 114TypeScriptPrototype
- jshor/tychoÉtoiles : 114TypeScriptPrototype