Is there a way to get a string form of a `nat`

value (and the other way around) in Coq?

Something like `nat2str 1234`

giving `"1234"`

as output?

Maybe https://github.com/coq/coq/blob/master/theories/Numbers/DecimalString.v

Last updated: Feb 08 2023 at 23:03 UTC