Slate

Slate 0.1.21 Vsix File Free Download

A Free Programming Languages Extension By Sebastian Reichelt (sreichelt)

0 Votes, Average: 0 out of 5 Downloads: 0 Updated: November 21, 2020

You are about to download the Slate Vsix v0.1.21 file for Visual Studio Code 1.51.0 and up: Provides syntax highlighting, navigation, auto-completion, and GUI integration for the Slate proof assistant language. ...

Please note that the Slate Vsix file v0.1.21 on VsixHub is the original file archived from the Visual Studio Marketplace. You could choose a server to download the offline vsix extension file and install it.

Slate for VSCode

VSIX Package File


• Vsix File: slate-0.1.21_vsixhub.com.vsix

• Extension Version: 0.1.21

• Requires: VS Code 1.51.0 and up

• File Size: 3.03 MB (3173927 Bytes)

• MD5: b88d8bfb6dd87ed8ed7e0c44b4227ca7

• SHA1: 0608a7607f2344bb61dd8bdbc057a177b7e4943d

• SHA256: d099d16c81e31e41d7ccb05cc767ad28b03a082ee6fe00cbdbbc7846b5bbb083

• Download VSIX File from VsixHub >

• Download VSIX File from Sendspace >

• Download VSIX File from Rapidgator >

Also Slate is included in these tags:

slate 

What Does The Extension Do


Slate is a freeware extension for VS Code published by Sebastian Reichelt, you can install it to increase the power of your Visual Studio Code:

Provides syntax highlighting, navigation, auto-completion, and GUI integration for the Slate proof assistant language. , The Slate Interactive Theorem Prover ... Learn More >

How to Install Slate From a VSIX


You can easily install the Slate extension packaged in the .vsix file:

Launch VS Code, use the Install from VSIX command in the Extensions view command drop-down, or the Extensions: Install from VSIX... command in the Command Palette, and point to the .vsix file (i.e. slate-0.1.21_vsixhub.com.vsix).

Slate Version History


Slate 0.1.24 (Latest Version, Updated: January 17, 2021)

Slate 0.1.23 (Updated: January 6, 2021)

Slate 0.1.22 (Updated: December 23, 2020)

Slate 0.1.20 (Updated: November 9, 2020)

Slate 0.1.19 (Updated: September 20, 2020)

Slate 0.1.18 (Updated: August 26, 2020)

Slate 0.1.17 (Updated: August 23, 2020)

Slate 0.1.16 (Updated: August 2, 2020)

Slate 0.1.11 (Updated: June 22, 2020)

Full Version History >

More Extensions to Consider (Similar or Related)