GitHub repository: viperproject/vs-verification-toolbox
Primary language: TypeScript
Created: 2020-03-03T12:59:15Z
Description: Useful component to build VS Code extensions for verifiers.