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