prusto-macros
| Crates.io | prusto-macros |
| lib.rs | prusto-macros |
| version | 0.2.1 |
| created_at | 2020-10-01 07:32:20.545095+00 |
| updated_at | 2024-12-06 10:13:28.311169+00 |
| description | prusto macros |
| homepage | https://github.com/nooberfsh/prusto |
| repository | https://github.com/nooberfsh/prusto |
| max_upload_size | |
| id | 294916 |
| size | 8,893 |
tom (nooberfsh)
documentation
https://docs.rs/prusto