anat-rs 0.1.1

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