Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)
1# This file is automatically @generated by Cargo.
2# It is not intended for manual editing.
3version = 4
45[[package]]
6name = "rspeano"
7version = "0.1.0"
ecsolticia.codeberg.page