Skip to content

feat: variance of the binomial distribution - #42999

Open
EtienneC30 wants to merge 118 commits into
leanprover-community:masterfrom
EtienneC30:var-bin
Open

feat: variance of the binomial distribution#42999
EtienneC30 wants to merge 118 commits into
leanprover-community:masterfrom
EtienneC30:var-bin

Commits

Commits on Apr 2, 2026

Commits on Apr 7, 2026

Commits on Apr 8, 2026

Commits on Apr 9, 2026

  • committed
  • committed

Commits on Apr 30, 2026

Commits on May 28, 2026

Commits on May 29, 2026

Commits on May 31, 2026

Commits on Jun 1, 2026

Commits on Jun 2, 2026

Commits on Jun 4, 2026

Commits on Jun 5, 2026

Commits on Jun 6, 2026

Commits on Jun 8, 2026

Commits on Jul 2, 2026

Commits on Jul 3, 2026

Commits on Aug 12, 2026

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Commits on Aug 21, 2026