coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] on nat

From: Nuno Gaspar <nmpgaspar AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] on nat
Date: Wed, 15 May 2013 14:01:17 +0200

Hello.

I was unable to find a work in the users' contributions that uses it, but I imagine there exists with such a need...

could you please point me to a development that uses lists to represent (large) natural numbers?

--
Bart: Look at me, I'm a grad student, I'm 30 years old and I made $600 dollars last year.
Marge: Bart! Don't make fun of grad students, they just made a terrible life choice.

[Coq-Club] on nat, Nuno Gaspar, 05/15/2013
- Re: [Coq-Club] on nat, Wojciech Meyer, 05/15/2013
- Re: [Coq-Club] on nat, David Pereira, 05/15/2013