spec-flatten
| Crates.io | spec-flatten |
| lib.rs | spec-flatten |
| version | 0.3.2 |
| source | src |
| created_at | 2022-05-24 00:23:25.71002 |
| updated_at | 2022-08-23 19:16:05.927811 |
| description | Formal specification flattening tool |
| homepage | |
| repository | |
| max_upload_size | |
| id | 592333 |
| size | 94,428 |
(aptos-crates)