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: Oct 05 2023 at 02:01 UTC