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

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

Last synced: 3 months 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 (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-08-31T04:44:04.000Z (about 8 years ago)
• Last Synced: 2024-05-22T20:32:43.372Z (6 months ago)
• Language: Rust
• Homepage:
• Size: 38.3 MB
• Stars: 93
• Watchers: 14
• Forks: 7
• Open Issues: 13

Awesome Lists containing this project

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