GitHub repository: model-checking/kani-vscode-extension
Primary language: TypeScript
Description: Kani VSCode Extension