anat-rs 0.1.1

A library to represent natural numbers as well-founded sets
Documentation
[[example]]
name = "addition"
path = "examples/addition.rs"

[dependencies]

[lib]
name = "anat"
path = "src/lib.rs"

[package]
authors = ["TriedAngle <Sebastian@Strobl.net>"]
description = "A library to represent natural numbers as well-founded sets"
edition = "2018"
license = "Apache-2.0"
name = "anat-rs"
repository = "https://github.com/TriedAngle/Anat"
version = "0.1.1"