Homotopy Type Theory
decimal numeral representations of the natural numbers > history
<
decimal numeral representation of the natural numbers
category:
redirected to nlab