boogie
| Crates.io | boogie |
| lib.rs | boogie |
| version | 0.1.0 |
| source | src |
| created_at | 2021-12-09 20:52:59.100316 |
| updated_at | 2021-12-09 20:52:59.100316 |
| description | An API for constructing and verifying Boogie programs. |
| homepage | |
| repository | https://github.com/Whiley/WhileyBuildTool |
| max_upload_size | |
| id | 495364 |
| size | 12,624 |
Xavier Denis (xldenis)
documentation
README
Boogie.rs
A Rust API for constructing and verifying Boogie programs.