verified
| Crates.io | verified |
| lib.rs | verified |
| version | 0.2.3 |
| created_at | 2020-06-06 03:28:12.493089+00 |
| updated_at | 2020-06-17 05:53:01.09623+00 |
| description | A library of types to facilitate the development of verifiable rust. |
| homepage | |
| repository | https://github.com/bobbygebert/verified/ |
| max_upload_size | |
| id | 250540 |
| size | 27,162 |
(bobbygebert)
documentation
README
Verifiable Rust
Source code for the verified crate