A Formally Verified Proof of the Central Limit Theorem.

Jeremy Avigad Johannes Hölzl Luke Serafin

Published in: J. Autom. Reason. (2017)

Keyphrases

central limit theorem
probability distribution
theorem prover
heavy traffic
theorem proving
special case
uncertain demand