lean4-mode
lean4-mode
copied to clipboard
Published
20 hours ago
•
leanprover-community
Reame
Issues
Register LSP with eglot
Open
TristanCacqueray
opened this issue 11 months ago
• 2 comments
This change enables using eglot with lean.
Sep 09 '23 01:09
TristanCacqueray