LSP-lean

by LexouDuck ST4

Lean support for Sublime's LSP plugin

Labels lsp, lean

Details

Version 1.2.1
Homepage github.com
Issues github.com
Modified 4 months ago
Last Seen 27 minutes ago
First Seen 4 months ago

Installs

Total 26
Win 8
Mac 9
Linux 9

	Feb 26	Feb 25	Feb 24	Feb 23	Feb 22	Feb 21	Feb 20	Feb 19	Feb 18	Feb 17	Feb 16	Feb 15	Feb 14	Feb 13	Feb 12	Feb 11	Feb 10	Feb 9	Feb 8	Feb 7	Feb 6	Feb 5	Feb 4	Feb 3	Feb 2	Feb 1	Jan 31	Jan 30	Jan 29	Jan 28	Jan 27	Jan 26	Jan 25	Jan 24	Jan 23	Jan 22	Jan 21	Jan 20	Jan 19	Jan 18	Jan 17	Jan 16	Jan 15	Jan 14	Jan 13	Jan 12
Windows	0	0	5	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1
Mac	0	0	0	1	0	0	0	0	1	0	0	0	0	1	0	0	0	3	0	0	0	0	2	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0
Linux	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	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).