Slate 0.1.24 Vsix File Free Download
A Free Programming Languages Extension By Sebastian Reichelt (sreichelt)
Downloads: 1 Updated: January 17, 2021
You are about to download the Slate Vsix v0.1.24 file for Visual Studio Code 1.52.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.24 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.
VSIX Package File
• Vsix File: slate-0.1.24_vsixhub.com.vsix
• Extension Version: 0.1.24
• Requires: VS Code 1.52.0 and up
• File Size: 3.00 MB (3149875 Bytes)
• MD5: 88601222ff5d0a76005f296be285c12d
• SHA1: 0c3896d0159c15091deb0a9c2eead2c917d1078b
• SHA256: 7eb05aaea61e1445e7493bdbf1309eee6d4b9b2996b1010050ed4d30a2dce708
• Download VSIX File from VsixHub >
• Download VSIX File from
Sendspace >• Download VSIX File from Rapidgator >
• Get it on Visual Studio Marketplace >
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.24_vsixhub.com.vsix).
Slate Version History
Slate 0.1.23 (Updated: January 6, 2021)
Slate 0.1.22 (Updated: December 23, 2020)
Slate 0.1.21 (Updated: November 21, 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)
Slate 0.1.10 (Updated: June 1, 2020)