Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Nat to string

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Nat to string

From: "Marcus Ramos" <mvmramos AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Nat to string
Date: Wed, 28 Aug 2013 18:31:14 +0200 (CEST)

Hi,

Is there an easy way to convert nat to string?

Thanks in advance,
Marcus.

[Coq-Club] Nat to string, Marcus Ramos, 08/28/2013
- Re: [Coq-Club] Nat to string, t x, 08/28/2013

Archive powered by MHonArc 2.6.18.