vscode prusti-assistant 返回
项目作者： viperproject

项目描述 ：
VS Code extension to verify Rust programs with the Prusti verifier.
高级语言： TypeScript
项目地址: git://github.com/viperproject/prusti-assistant.git
创建时间： 2019-06-18T15:34:13Z
项目社区：https://github.com/viperproject/prusti-assistant
开源协议：MIT License
下载