Slate

Slate 0.1.23 Vsix File Free Download

aggregateRating

Updated: January 6, 2021

You are about to download the Slate 0.1.23 vsix 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.23 on VsixHub is archived from the Visual Studio Marketplace without any modification. You could choose a server to download the offline vsix extension file and install it.

• Download vsix file from vsixhub >
• Download vsix file from zippyshare >
• Download vsix file from sendspace >
• Download vsix file from rapidgator >

What Does The Extension Do >

Slate is a free extension for VS Code published by Sebastian Reichelt (sreichelt), 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 >

Verify Vsix File (Size & Checksum) >

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

• Requires: VS Code 1.52.0 and up

• File Size: 3144825 bytes (3 MB)

• MD5: 6fdb6cfe0279f9bbd0dd7c648864281b

• SHA1: d6ef2c8a6efc6d3ed8022b2a00eac8b642aab61d

• SHA256: 1aa9acdc62fe3f957c82e225584e108248fce4f9be23d242e5f6c6dee65d3f67

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.23_vsixhub.com.vsix).

Other vsix files for Slate

Need old versions of sreichelt.slate? Download the old vsix files now:

  1. Slate 0.1.22 VSIX (Updated: December 23, 2020)
  2. Slate 0.1.21 VSIX (Updated: November 21, 2020)
  3. Slate 0.1.20 VSIX (Updated: November 9, 2020)
  4. Slate 0.1.19 VSIX (Updated: September 20, 2020)
  5. Slate 0.1.18 VSIX (Updated: August 26, 2020)
  6. Slate 0.1.17 VSIX (Updated: August 23, 2020)
  7. Slate 0.1.16 VSIX (Updated: August 2, 2020)
  8. Slate 0.1.11 VSIX (Updated: June 22, 2020)
  9. Slate 0.1.10 VSIX (Updated: June 1, 2020)
  10. Slate 0.1.8 VSIX (Updated: May 30, 2020)
  11. More Version History >

More Extensions to Consider