vstd
| Crates.io | vstd |
| lib.rs | vstd |
| version | 0.0.0 |
| source | src |
| created_at | 2024-06-26 15:40:00.925215 |
| updated_at | 2024-06-26 15:40:00.925215 |
| description | Verus standard library: Verified Rust for low-level systems code |
| homepage | https://github.com/verus-lang/verus |
| repository | https://github.com/verus-lang/verus |
| max_upload_size | |
| id | 1284620 |
| size | 2,987 |
Bryan Parno (parno)
documentation
https://verus-lang.github.io/verus/verusdoc/vstd/
README
Verus Standard Library
This is a placeholder crate for Verus's standard library, until we can support direct usage from crates.io.
For now, you can try Verus in your browser on the Verus Playground, or to install Verus locally, follow our more detailed installation instructions.