anat-rs

Crates.ioanat-rs
lib.rsanat-rs
version0.1.1
created_at2020-10-24 10:37:36.558895+00
updated_at2020-10-24 10:38:30.68737+00
descriptionA library to represent natural numbers as well-founded sets
homepage
repositoryhttps://github.com/TriedAngle/Anat
max_upload_size
id304974
size11,109
TryAngle (TriedAngle)

documentation

README

Commit count: 0

cargo fmt