Zulip Chat Archive

Stream: general

Topic: Statistics library for Lean

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?

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

Sev (Dec 08 2020 at 00:24):

I see, thanks!

Last updated: Dec 20 2023 at 11:08 UTC