6 ms·
It’s called LSP, any good editor supports it. In fact, VSCode’s support for Lean is via LSP anyways.
by cloudie78 1mo ago
It’s called LSP, any good editor supports it.
In fact, VSCode’s support for Lean is via LSP anyways.
loading thread…
6 ms·