lean-language-server

leanprover
js
lean-language-server JS library on GitHub lean-language-server JS library on npm Download lean-language-server JS library

Language Server Protocol server for Lean 3

Version 3.4.0 License Apache-2.0
lean-language-server has no homepage
lean-language-server JS library on GitHub
lean-language-server JS library on npm
Download lean-language-server JS library
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN