anat-rs 0.1.0

A library to represent natural numbers as well-founded sets
Documentation
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "anat-rs"
version = "0.1.0"