A formally verified proof of the Central Limit Theorem
Authors: Jeremy Avigad, Johannes Hölzl and Luke Serafin
Paper Information
| Title: | A formally verified proof of the Central Limit Theorem |
| Authors: | Jeremy Avigad, Johannes Hölzl and Luke Serafin |
| Proceedings: | Isabelle 2014 Papers (Unrefereed) |
| Editors: | Tobias Nipkow, Lawrence Paulson and Makarius Wenzel |
| Keywords: | Central Limit Theorem, interactive theorem proving, Isabelle proof assistant |
| Abstract: | ABSTRACT. We describe a formally verified proof of the Central Limit Theorem in the Isabelle proof assistant. |
| Pages: | 10 |
| Talk: | Jul 13 08:45 |
| Paper: |  |