ohnomore-utils
| Crates.io | ohnomore-utils |
| lib.rs | ohnomore-utils |
| version | 0.5.0 |
| source | src |
| created_at | 2022-05-15 06:57:30.563104 |
| updated_at | 2022-05-15 06:57:30.563104 |
| description | Transformation utilities for TüBa-D/Z lemmas |
| homepage | https://github.com/sfb833-a3/ohnomore |
| repository | |
| max_upload_size | |
| id | 586987 |
| size | 12,535 |
Daniël de Kok (danieldk)