rspeano
tangled1 stars
Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)
Browse files on Tangled
https://tangled.sh/did:plc:h5uflu6cfdbvjsggusevvy6i/rspeano