ceetle_macros
| Crates.io | ceetle_macros |
| lib.rs | ceetle_macros |
| version | 0.1.0 |
| source | src |
| created_at | 2023-06-06 08:09:43.806524 |
| updated_at | 2023-06-06 08:09:43.806524 |
| description | Procedural Macros for the ceetle Library |
| homepage | |
| repository | https://github.com/AzeezDa/ceetle |
| max_upload_size | |
| id | 883625 |
| size | 8,753 |
(AzeezDa)
documentation
README
ceetle - A Computional Tree Logic Verifier
This crate is used for the the ceetle library.