Zulip Chat Archive
Stream: new members
Topic: Reboot the language server
JULIÁN CALDERÓN ALMENDROS (May 03 2025 at 19:52):
Anyone knows how to reboot the server of lean? I'm working on VS Code on Windows.
Yaël Dillies (May 03 2025 at 19:52):
Do Ctrl + Shift + P, select "Lean 4: Server: Restart Server"
Last updated: Dec 20 2025 at 21:32 UTC