VS Code extension to verify Rust programs with the Prusti verifier.
Primary LanguageTypeScriptMIT LicenseMIT