/prusti-assistant

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

Primary LanguageTypeScriptMIT LicenseMIT

Watchers

No one’s watching this repository yet.