anat-rs 0.1.0

A library to represent natural numbers as well-founded sets
Documentation