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 7 months ago
Last Seen 6 hours ago
First Seen 7 months ago

Installs

Total 47
Win 14
Mac 15
Linux 18

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