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 months ago
Last Seen 1 hour ago
First Seen 3 months ago

Installs

Total 17
Win 7
Mac 3
Linux 7

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