Zulip Chat Archive

Stream: general

Topic: Statistics library for Lean


view this post on Zulip Sev (Dec 07 2020 at 23:33):

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?

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Sev (Dec 08 2020 at 00:24):

I see, thanks!


Last updated: May 14 2021 at 06:16 UTC