[isabelle-dev] Bayesian statistics

Johannes Hoelzl hoelzl at in.tum.de
Mon Sep 26 16:56:19 CEST 2011

Hi David,

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 ?? 
> Thanks,
> David

More information about the isabelle-dev mailing list