Stream: Coq users

Topic: convert nat to string

view this post on Zulip Julin S (Feb 01 2022 at 11:58):

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?

view this post on Zulip Pierre Roux (Feb 01 2022 at 21:30):

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

Last updated: Oct 13 2024 at 01:02 UTC