formal_spec
| Crates.io | formal_spec |
| lib.rs | formal_spec |
| version | 0.0.1 |
| created_at | 2021-11-19 22:20:07.287449+00 |
| updated_at | 2021-11-19 22:20:07.287449+00 |
| description | Tools of writing formal specification for rust code |
| homepage | |
| repository | |
| max_upload_size | |
| id | 484654 |
| size | 12,317 |
(HKalbasi)