Homotopy Type Theory decimal numeral representations of the natural numbers > history

< decimal numeral representation of the natural numbers