45 citations · 80 across the 5 of their papers we have counts for
1 paper · 1 filter
Reynald Affeldt, Cyril Cohen
We report on an original formalization of measure and integration theory in the Coq proof assistant. We build the Lebesgue measure following a standard construction that had not ye…