leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
TypeScriptApache-2.0
Stargazers
- adrianmartir
- AizmansorJohor Bahru
- beike-zh
- bryangingechen
- ConnorBaker@tweag
- crabbo-raveIn a chair
- dannypsnl@second-state
- dillonhuff
- EdAyersCMU
- EricGT
- forked-from-1kasperMilky Way, Solar System, Earth
- gebnerMicrosoft Research
- HagbChongqing University
- huynhtrankhanh@coq-community
- intsucJapan
- jackvialCleveland, OH
- JoseBaladoSantiago de Compostela, Spain
- luizpuppoBrazil
- mhuisiLean FRO
- mothematician
- ndcroos
- nikitavoloboevTbilisi
- nnsdaos
- normfulSisense
- pimpale@2643
- PolyB
- ramonfmirLondon
- Riki1312Italy
- saulshanabrookGreenfield, MA
- sguzmanBakersfield, CA
- SteveUlin
- TelstonPrince
- utensil
- VitalyAnkhMars
- Vtec234Pittsburgh, USA
- ydewitfrevvo Inc