roq
| Crates.io | roq |
| lib.rs | roq |
| version | 0.1.0 |
| source | src |
| created_at | 2024-04-04 18:54:20.551288 |
| updated_at | 2024-04-04 18:54:20.551288 |
| description | Proc-macro Coq code generation and proof automation |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1196612 |
| size | 1,194 |
William Goodall (wgoodall01)