Forks

switch to list view

leanprover / vscode-lean4

0art0 / vscode-lean4

abaksy / vscode-lean4

abentkamp / vscode-lean4

ammkrn / vscode-lean4

arienmalec / vscode-lean4

bryangingechen / vscode-lean4

bustercopley / vscode-lean4

dalps / vscode-lean4

david-christiansen / vscode-lean4

dbsc / vscode-lean4

DenisGorbachev / vscode-lean4

desaxce / vscode-lean4

digama0 / vscode-lean4

EdAyers / vscode-lean4

erdOne / vscode-lean4

eric-wieser / vscode-lean4

EtienneXIONG / vscode-lean4

fpvandoorn / vscode-lean4

gio256 / vscode-lean4

girving / vscode-lean4

hhu-adam / monaco-lean4

hhu-adam / vscode-lean4

jakobvase / fix-tab-behaviour

jhanschoo / vscode-lean4

Joe-McCann / vscode-lean4

joneugster / vscode-lean4

Julian / vscode-lean4

Kha / vscode-lean4

kim-em / vscode-lean4

LeoDog896 / vscode-lean4

llllvvuu / vscode-lean4

marianaalanis93 / vscode-lean4

mhuisi / vscode-lean4

mkckr0 / vscode-lean4

morph-labs / vscode-lean4-fork

Mortein / vscode-lean4

mpenciak / vscode-lean4

newell / vscode-lean4

nxvipin / vscode-lean4

onriv / vscode-lean4

PatrickMassot / vscode-lean4

pitmonticone / vscode-lean4

qz-cqy / vscode-lean4

reaslab / vscode-lean4

reaslab / lean4-infoview

rkthomps / vscode-lean4

RobinBoehne / vscode-lean4

seanpm2001 / LeanProver_VSCode-Lean4

Shreyas4991 / vscode-lean4

sidprasad / vscode-lean4

suyash5053 / vscode-lean4

thorimur / vscode-lean4

tnaoi / vscode-lean4

turibe / vscode-lean4

tydeu / vscode-lean4

vihdzp / vscode-lean4

Vtec234 / vscode-lean4

ydewit / vscode-lean4

YnirPaz / vscode-lean4