dedukti-parse
| Crates.io | dedukti-parse |
| lib.rs | dedukti-parse |
| version | 0.3.1 |
| created_at | 2021-07-13 19:19:55.642948+00 |
| updated_at | 2022-06-09 15:57:08.626425+00 |
| description | Parser for the Dedukti file format |
| homepage | |
| repository | https://github.com/01mf02/kontroli-rs |
| max_upload_size | |
| id | 422413 |
| size | 14,063,259 |
Michael Färber (01mf02)