Sign in Sign up
npm

lean-language-server

Language Server Protocol server for Lean 3

npm View on Npm

Activity

Latest release
4y ago
Total releases
27
Cadence
~13 days
Last 12 months
0

Details

License
Apache-2.0
First release
May 03, 2017
Releases
Version Released
3.4.0 minor
3.3.1 patch
3.3.0 minor
3.2.0 minor
3.1.1 patch
3.1.0 minor
3.0.0 major
2.0.4 patch
2.0.3 patch
2.0.2 patch
2.0.1 patch
2.0.0 major
1.5.0 minor
1.4.0 minor
1.3.2 patch
1.3.1 patch
1.3.0 minor
1.2.13 patch
1.2.12 patch
1.2.11 patch
1.2.10 patch
1.2.9 patch
1.2.8 patch
1.2.7 patch
1.2.6 patch
1.2.5 patch
1.2.4 initial