coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Stochastic process modeling

From: Kevin Sullivan <sullivan.kevinj AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Stochastic process modeling
Date: Wed, 3 Dec 2014 12:29:40 -0500

Has anyone formalized stochastic processes (of any flavor) in Coq? References to work would be much appreciated. Or explanation why it's is a bad idea? Thanks,

Kevin

[Coq-Club] Stochastic process modeling, Kevin Sullivan, 12/03/2014