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