GitHub repository: AestheticIntegration/imandra-vscode
Primary language: TypeScript
Description: VSCode extension for developing imandra