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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
