LSP-lean

by sublimelsp ST4

Lean support for Sublime's LSP plugin

Labels lsp, lean

Details

Version 1.2.6
Homepage github.com
Issues github.com
Modified 3 weeks ago
Last Seen 7 hours ago
First Seen 12 months ago

Installs

Total 100
Win 29
Mac 40
Linux 31

	Oct 9	Oct 8	Oct 7	Oct 6	Oct 5	Oct 4	Oct 3	Oct 2	Oct 1	Sep 30	Sep 29	Sep 28	Sep 27	Sep 26	Sep 25	Sep 24	Sep 23	Sep 22	Sep 21	Sep 20	Sep 19	Sep 18	Sep 17	Sep 16	Sep 15	Sep 14	Sep 13	Sep 12	Sep 11	Sep 10	Sep 9	Sep 8	Sep 7	Sep 6	Sep 5	Sep 4	Sep 3	Sep 2	Sep 1	Aug 31	Aug 30	Aug 29	Aug 28	Aug 27	Aug 26
Windows	0	1	1	1	0	0	1	0	0	0	0	1	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0	0
Mac	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0	1	0	0	1	1	0	1	0	0	0	0	0	1	1	0	0	0	0	1	0	0	0	0	0	0	1	1	0	1	0
Linux	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	1	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0

Readme

Source: raw.githubusercontent.com

LSP-lean

Lean support for Sublime's LSP plugin

Uses Lean to provide completions, validation, and other features for lean code.

Installation

Install LSP and LSP-lean from Package Control.
Restart Sublime Text.

Note

Make sure you have already installed lean, such that the command works and is accessible from your PATH.

The lean language syntax definition is provided separately as the Lean package in Package Control.

Configuration

Open configuration file by running Preferences: LSP-lean Settings from Command Palette or via Main Menu (Preferences > Package Settings > LSP > Servers > LSP-lean).