[isabelle-dev] CONTRIBUTIONS: The central limit theorem is now in Isabelle
hoelzl at in.tum.de
Wed Jan 6 14:05:22 CET 2016
The central limit theorem is now in the Isabelle repository:
* Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
Proof of the central limit theorem: includes weak convergence, characteristic
functions, and Levy's uniqueness and continuity theorem.
Besides this I do not have any further contributions for the Isabelle 2016 release.
More information about the isabelle-dev