Tag: slate
Found 1 extensions tagged with "slate".
slate related extensions
-
Slate 0.1.24 VSIX File for VS Code
Provides syntax highlighting, navigation, auto-completion, and GUI integration for the Slate proof assistant language. ...
Found 1 extensions tagged with "slate".