VSIX Extensions Published By Sebastian Reichelt
Extension Count: 1
Developer: Sebastian Reichelt
VS Code Extensions Offered by Sebastian Reichelt
VsixHub includes total 1 extensions from the developer Sebastian Reichelt.
-
Slate 0.1.24 VSIX File for VS Code
Provides syntax highlighting, navigation, auto-completion, and GUI integration for the Slate proof assistant language. ...