Package Details: lean-language-server 3.1.1-1

Git Clone URL: https://aur.archlinux.org/lean-language-server.git (read-only, click to copy)
Package Base: lean-language-server
Description: Language Server Protocol implementation for the Lean theorem prover, version 3
Upstream URL: https://github.com/leanprover/lean-client-js
Licenses: MIT
Submitter: ouuan
Maintainer: ouuan
Last Packager: ouuan
Votes: 1
Popularity: 0.44
First Submitted: 2021-09-11 10:36
Last Updated: 2021-09-11 10:36