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: Jun 18 2024 at 09:02 UTC