https://github.com/fpoli/viper-ide-codespace

Try the Prusti and Viper IDE in a Github Codespace
https://github.com/fpoli/viper-ide-codespace

prusti viper vscode

Last synced: about 1 month ago
JSON representation

Try the Prusti and Viper IDE in a Github Codespace

• Host: GitHub
• URL: https://github.com/fpoli/viper-ide-codespace
• Owner: fpoli
• License: mit
• Created: 2020-09-06T19:57:43.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2022-06-03T15:45:07.000Z (over 2 years ago)
• Last Synced: 2024-10-16T04:47:02.611Z (3 months ago)
• Topics: prusti, viper, vscode
• Language: Shell
• Homepage:
• Size: 8.79 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project