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):


Last updated: Jun 18 2024 at 09:02 UTC