The Coq mailing list

[t x <txrev319 AT gmail.com>]

https://gist.github.com/anonymous/02c778347f2012ba6e1b

works up to numbers of 4 digits before stack overflow; perhaps Z would have been a better choice :-)

On Wed, Aug 28, 2013 at 4:31 PM, Marcus Ramos <mvmramos AT gmail.com> wrote:

Hi,

Is there an easy way to convert nat to string?

Thanks in advance,
Marcus.