A formally verified proof of the Central Limit Theorem.

Jeremy Avigad Johannes Hölzl Luke Serafin

Published in: CoRR (2014)

Keyphrases

central limit theorem
probability distribution
theorem proving
decision making
cooperative
theorem prover
heavy traffic
reinforcement learning
special case
steady state