coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Pseudo random numbers in Coq

From: Marko Malikovi� <marko AT ffri.hr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Pseudo random numbers in Coq
Date: Fri, 6 Mar 2009 13:30:06 +0100 (CET)
Importance: Normal
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Greetings,

I'm trying to find some function for generating random (pseudo-random)
numbers in Coq. It seems that it doesn't exists. Am I right?
If it doesn't exists than I need some seed state. But, I don't see some
time (or simmilary) function in Coq.

Thank you and greetings from Croatia,

Marko Malikovi�

--
dr. sc. Marko Malikovi�
Filozofski fakultet u Rijeci

[Coq-Club] Pseudo random numbers in Coq, Marko Malikovi�
- Re: [Coq-Club] Pseudo random numbers in Coq, Adam Chlipala
  - Re: [Coq-Club] Pseudo random numbers in Coq, Yves Bertot
- Re: [Coq-Club] Pseudo random numbers in Coq, Cedric Auger
  - Re: [Coq-Club] Pseudo random numbers in Coq, Marko Malikovi�