Slate

Provides syntax highlighting, navigation, auto-completion, and GUI integration for the Slate proof assistant language.

推荐

不推荐

更多信息

code --install-extension sreichelt.slate

标签

根据用户添加的标签生成

暂无标签