AlphaPeu commune
leanprover/vscode-lean4
VS Code extension for the Lean 4 programming language and theorem prover
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 316
- Forks
- Forks : 106
- Langage
- TypeScript
- Licence
- Apache-2.0
- Création
- 2020
- Sujets
- vscodelean
- Rang
- Alpha (250 à 699 ★) 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/theorem_proving_in_lean4Étoiles : 285LeanAlpha
D’autres dépôts TypeScript
Tous les dépôts TypeScript- mini-yifan/deepseek-harness-orbÉtoiles : 316TypeScriptAlpha
- JohnnyVizz/claude-kitÉtoiles : 316TypeScriptAlpha
- disler/durable-piÉtoiles : 316TypeScriptAlpha
- benbalter/github-mention-highlighterÉtoiles : 316TypeScriptAlpha
- OmniSharp/omnisharp-atomÉtoiles : 316TypeScriptAlpha
- dangeredwolf/ModernDeckÉtoiles : 316TypeScriptAlpha