GitHub repository: verifast/verifast-vscode
Primary language: TypeScript
Created: 2021-01-15T12:04:45Z
Description: Visual Studio Code extension for running VeriFast