forked from model-checking/kani-vscode-extension
-
Notifications
You must be signed in to change notification settings - Fork 0
Kani VSCode Extension
License
Apache-2.0 and 2 other licenses found
Licenses found
Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Unknown
LICENSE-THIRD-PARTY
jaisnan/kani-vscode-extension
ErrorLooks like something went wrong!
About
Kani VSCode Extension
Resources
License
Apache-2.0 and 2 other licenses found
Licenses found
Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Unknown
LICENSE-THIRD-PARTY
Code of conduct
Security policy
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- TypeScript 89.8%
- Python 3.4%
- JavaScript 2.9%
- Rust 2.2%
- Shell 1.5%
- Makefile 0.2%