fpoli / viper-ide-codespace Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Try the Prusti and Viper IDE in a Github Codespace

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.devcontainer		.devcontainer
LICENSE		LICENSE
README.md		README.md
program.rs		program.rs
program.vpr		program.vpr

Repository files navigation

viper-ide-codespace

A GitHub codespace to try Viper and Prusti directly from your browser!

About

Try the Prusti and Viper IDE in a Github Codespace

vscode viper prusti

Report repository

Releases

No releases published

Packages

No packages published

Languages