Repository navigation

Distribution have a sub probability measures - #2116

Open

lyonel2017 wants to merge 18 commits into

math-comp:masterfrom

lyonel2017:distr_measure_prob

Open

Distribution have a sub probability measures#2116
lyonel2017 wants to merge 18 commits into
math-comp:masterfrom
lyonel2017:distr_measure_prob

Commits on Nov 1, 2026
- Counting distribution
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  5870d7c
- Some cleanup
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  44a0f68
- Some refactoring for dlim
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  0f5c2b8
- Some refactoring
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  ba42c15
- Add some documentations
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  ecbbf2d
- Some refactoring
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  b9dceb6
- Renaming
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  0cc9175
- fix CI error (not compilting with 9.2)
  affeldt-aist
  committed
  ac8f41b
- Proof that Subprobability mass function have a subprobability measure.
  
  lyonel2017
  authored and
  affeldt-aist
  committed
  d3ba11e
- simplify esum_counting.v
  affeldt-aist
  committed
  11e1c90
- generalize expectation to handle \bar R
  affeldt-aist
  committed
  5bae25d
- linting
  affeldt-aist
  committed
  c065fd3
Commits on Nov 5, 2026
- - eexp_dunit via the Dirac measure
  lyonel2017
  committed
  469f052
Commits on Nov 8, 2026
- Use giry_map for proof of expectation_pmf_dRV.
  lyonel2017
  committed
  3efa758
Commits on Nov 10, 2026
- Add connection between dnull and mzero
  lyonel2017
  committed
  2340e72
- Add connection between drestr and mrestr
  lyonel2017
  committed
  04e5c3f
- Some refactoring
  lyonel2017
  committed
  51c0bda
- Rename drat into dcount
  lyonel2017
  committed
  4ccfe6d

Commits

Commits on Nov 1, 2026

Commits on Nov 5, 2026

Commits on Nov 8, 2026

Commits on Nov 10, 2026