anat-rs 0.1.0

A library to represent natural numbers as well-founded sets
Documentation
debug/
target/
Cargo.lock
**/*.rs.bk