anat-rs
| Crates.io | anat-rs |
| lib.rs | anat-rs |
| version | 0.1.1 |
| created_at | 2020-10-24 10:37:36.558895+00 |
| updated_at | 2020-10-24 10:38:30.68737+00 |
| description | A library to represent natural numbers as well-founded sets |
| homepage | |
| repository | https://github.com/TriedAngle/Anat |
| max_upload_size | |
| id | 304974 |
| size | 11,109 |
TryAngle (TriedAngle)