GitHub repository: viperproject/prusti-assistant
Primary language: TypeScript
Created: 2019-06-18T15:34:14Z
Description: VS Code extension to verify Rust programs with the Prusti verifier.