hra687261.smt-lsp

SMT LSP

Total downloads

1,204

7d gain

14

Rolling weekly delta

Rating

- / 5

0 reviews

Version

1.1.1

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: hra687261
Name: smt-lsp
License: ISC
Homepage: https://github.com/hra687261/smt-lsp-vscode-extension#readme
Repository: https://github.com/hra687261/smt-lsp-vscode-extension.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Type checking and syntax highlighting the SMT-LIB Standard

Archive

Release history

3 latest releases