ohnomore
| Crates.io | ohnomore |
| lib.rs | ohnomore |
| version | 0.5.0 |
| created_at | 2020-05-12 07:01:15.618541+00 |
| updated_at | 2022-05-15 06:56:43.494432+00 |
| description | Transformations for TüBa-D/Z lemmas |
| homepage | https://github.com/sfb833-a3/ohnomore |
| repository | |
| max_upload_size | |
| id | 240533 |
| size | 114,521 |
Daniël de Kok (danieldk)