2019 05 07 Meeting

Jump to bottom Edit New page

Cyril Cohen edited this page May 7, 2019 · 13 revisions

Integration

Riemann
- Coq, Coquelicot
- no continuous probabilities
HK - Gauge
- HOL Light
- extends Riemann et Lebesgues
- some properties are not stable
Riemann-Stieljes
Lebesgues
Lebesgues-Stielges
Daniell