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 3 weeks ago
Last Seen 3 hours ago
First Seen 2 weeks ago

Installs

Total 8
Win 2
Mac 2
Linux 4

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