https://github.com/Rust-Proof/rustproof

rust verification condition generator
https://github.com/Rust-Proof/rustproof

Last synced: 26 days ago
JSON representation

rust verification condition generator

• Host: GitHub
• URL: https://github.com/Rust-Proof/rustproof
• Owner: Rust-Proof
• License: other
• Created: 2016-05-03T02:23:56.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2016-08-31T04:44:04.000Z (almost 9 years ago)
• Last Synced: 2025-04-13T11:42:34.822Z (about 2 months ago)
• Language: Rust
• Homepage:
• Size: 38.3 MB
• Stars: 96
• Watchers: 13
• Forks: 7
• Open Issues: 13

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Rustproof - compiler plugin, verification condition generator. (Projects / Verification)