prusto-macros
| Crates.io | prusto-macros |
| lib.rs | prusto-macros |
| version | 0.2.0 |
| source | src |
| created_at | 2020-10-01 07:32:20.545095 |
| updated_at | 2022-02-07 03:48:55.894616 |
| description | prusto macros |
| homepage | https://github.com/nooberfsh/prusto |
| repository | https://github.com/nooberfsh/prusto |
| max_upload_size | |
| id | 294916 |
| size | 8,174 |
tom (nooberfsh)
documentation
https://docs.rs/prusto