ecsolticia.codeberg.page / 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
Rust 86.9%
Nix 13.1%
7 1 0

Clone this repository

https://tangled.org/ecsolticia.codeberg.page/rspeano https://tangled.org/did:plc:h5uflu6cfdbvjsggusevvy6i/rspeano
git@tangled.org:ecsolticia.codeberg.page/rspeano git@tangled.org:did:plc:h5uflu6cfdbvjsggusevvy6i/rspeano

For self-hosted knots, clone URLs may differ based on your setup.

Download tar.gz