zed-industries
lean-lang support
Check for existing issues
- [X] Completed
Describe the feature
Include the lean language support and LSP support to the zed. Can anyone work on it to support it in zed.. or guide me how to include that just using configuration if possible..
If applicable, add mockups / screenshots to help present your vision of the feature
No response
Syntax highlighting and LSP support for new languages is done via extensions: https://zed.dev/docs/extensions/developing-extensions
Is this "lean" as in Microsoft lean4 used for theorem proving?
I don't think the extension api can really enable such support. The main blocker would be the panel showing the goal and hypotheses. VSCode being a Microsoft product is still the best option. A vim plugin was possible because you can control buffers programmatically there, but in zed there's no such capability for 3rd party extensions.
