GitHub repository: ticktac-project/tchecker-vscode
Primary language: TypeScript
Created: 2023-06-05T09:25:14Z
Description: VS Code extension for TChecker