coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Probability / randomness frameworks in Coq

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Probability / randomness frameworks in Coq
Date: Wed, 15 Aug 2018 20:11:54 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga18.intel.com
Ironport-phdr: 9a23:0gWetR09AGoVlCBHsmDT+DRfVm0co7zxezQtwd8ZseITKvad9pjvdHbS+e9qxAeQG9mDtbQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYghEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiDkJOSMl8G/ZicJwjb5Urx26qhNl34LZZJuYOOZicq/De94RWGpPXtxWVyxEGo6wYZYBD+0fMuZXs4n9vVwOrQOmCQKxA+3vyyNHhn/s0qIk1+QtHxzN0QslH9IPrHvUrM/6O7kWUeyv16nIyivMb/xK2Tfn74jIagssofCKXbJsb8XRzVMjGB/CjlWVsIHoOS6e2OoKs2ie9eVgVOSvhnYmqwF3vjig2MMshpPUiY0LzF3P6CZ3wJ4tKNGlRkN2bsSoHIZeuiyVLYd6X80vTmBytCon1LELuIa3cDULxZkp3RLSZfKKf5KW7h/tUOudOyp0iXF7dL6nmhq/8EytxvfiWsS031tGtDRJnsPRun0OyxDe7NWMROFn8Ue7wzmP0hje6uFaLkAwkqrWM5shwrEqmZYOsknPBC72mEPqjKCIckUo4PSn6+PiYrn+p5+cMZF7ih3mP6gzlMGyDv40PhUAUmWU4+iwybPu8EzjTLlXkPE7k7HVsJXAKsQaoq65DRVV0oEm6xunCjem0cgXnXkdI11bfBKLlZPpO1bQL/D3Efe/mVOskC9wyvDHOL3hHovCLnzZnLj9erZ97lZQyBAvwtBH+5JUFrYBLervVU/2rdzUFwM2Mwipw+n8E9h9zYMfWWeXAqCDKq/SsFmI5vguI+aWfoMVtiz9eLAZ4Kukhngg3FQZYKOB3J0NaXn+EO4saxGSZmOpidMcG08LuBA/RarkkgvRfyRUYiP4ZKUx6S0hD5riRaLCTYCkjbjLlHO+H5ZWb21CTEuLHHj0bYKcc/YKdC+WZMRml2pXBvCaV4Y92ET250fBwL19I7+Mo3xKhdfYzNFwotbru1Q3/D1wAd6a1jjUHWBygm4MATQx2fIm+BAv+hK4yaF9xsdgO5lL/foQC1U7M4LRy6pxDNWgAlucLOfMc06vR5CdOR90Tt81xIZRMUNyEozyyBHFwyeuRbQSku7TCQ==

Dear Coq Users,

does someone have pointers to frameworks for working with probabilities, distributions, random variables, … in Coq?

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Probability / randomness frameworks in Coq, Soegtrop, Michael, 08/15/2018
- Re: [Coq-Club] Probability / randomness frameworks in Coq, ikdc, 08/15/2018
  - RE: [Coq-Club] Probability / randomness frameworks in Coq, Soegtrop, Michael, 08/16/2018
    - Re: [Coq-Club] Probability / randomness frameworks in Coq, Pierre-Yves Strub, 08/16/2018
- Re: [Coq-Club] Probability / randomness frameworks in Coq, Sergey, Ilya, 08/16/2018
  - RE: [Coq-Club] Probability / randomness frameworks in Coq, Soegtrop, Michael, 08/16/2018