New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Package request: lean-language-server #38077

Closed

Eloitor opened this issue Jul 14, 2022 · 0 comments

Labels

request

Contributor

Eloitor commented Jul 14, 2022

Package name

lean-language-server

Package homepage

https://www.npmjs.com/package/lean-language-server

Description

Language Server Protocol implementation for the Lean theorem prover, version 3.

Does the requested package meet the quality requirements?

System

Is the requested package released?

Yes

Eloitor added the request label

Eloitor closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment