[isabelle-dev] Bayesian statistics
hoelzl at in.tum.de
Mon Sep 26 16:56:19 CEST 2011
as far as I know there is no such development, however Kevin Van Horn
asked half a year ago a similar question:
There is already Probability theory in Isabelle/HOL:
in the next Isabelle version contains a improved version of this, mostly
about infinite products and independent functions.
On Sun, 25 Sep 2011, David Blubaugh wrote:
> Has anyone ever developed theories with Isabelle HOL regarding Bayesian
> statistics ??
More information about the isabelle-dev