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: Feb 08 2023 at 23:03 UTC