Zulip Chat Archive
Stream: general
Topic: Lean 4 LSP support
Kevin Buzzard (Feb 09 2020 at 00:52):
Is there any LSP support for Lean 4? Asking for a friend
Reid Barton (Feb 09 2020 at 01:00):
@Simon Hudon ^
Simon Hudon (Feb 09 2020 at 01:00):
Support is planned but still not implemented
Last updated: Aug 03 2023 at 10:10 UTC