search

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.
Apache License 2.0
117 stars 49 forks source link

Live Share #191

Open bryangingechen opened 4 years ago

bryangingechen commented 4 years ago

Zulip thread: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Sever.20sharing.20in.20live.20share/near/202056350

I can try to take a crack at this after the widget refactor settles.

jcommelin commented 4 years ago

:beer: :beer: :beer: