Arithmetic on natural numbers
Why do you think that https://github.com/system-f/natural is a good alternative to natural-arithmetic
Arithmetic on natural numbers
Why do you think that https://github.com/system-f/natural is a good alternative to natural-arithmetic