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
0 open 0 merged 0 closed
new