9 citations · 11 across the 2 of their papers we have counts for
1 paper · 1 filter
Jeremy Avigad, Johannes Hölzl, Luke Serafin
We describe a proof of the Central Limit Theorem that has been formally verified in the Isabelle proof assistant. Our formalization builds upon and extends Isabelle's libraries for…