Cargo.toml at main · ecsolticia.bsky.social/rspeano

Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)

fork atom

rspeano / Cargo.toml

at main 78 B view raw

1[package]
2name = "rspeano"
3version = "0.1.0"
4edition = "2024"
5
6[dependencies]