Topic: Statistics library for Lean
Hi, I'm fairly new to Lean and was just curious if there are any libraries that exist for doing proofs relating to statistics. So, random variables, independence, etc?
Mario Carneiro (Dec 07 2020 at 23:34):
not too much. We have a decent amount of measure theory but not very much is specialized to the probability setting
Mario Carneiro (Dec 07 2020 at 23:36):
that said, the best way to grow the library support is to have someone motivated to write it by some application
I see, thanks!
Last updated: May 14 2021 at 06:16 UTC