roq_derive
| Crates.io | roq_derive |
| lib.rs | roq_derive |
| version | 0.1.0 |
| created_at | 2024-04-04 19:33:07.621936+00 |
| updated_at | 2024-04-04 19:33:07.621936+00 |
| description | Derive macros to generate Coq code from Rust |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1196666 |
| size | 6,971 |
William Goodall (wgoodall01)