[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:

  https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2011-March/msg00033.html

There is already Probability theory in Isabelle/HOL:

  http://isabelle.in.tum.de/dist/library/HOL/HOL-Multivariate_Analysis/HOL-Probability/index.html

in the next Isabelle version contains a improved version of this, mostly 
about infinite products and independent functions.

Greetings,
   Johannes


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