Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation.

Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa

Browse the full ITP paper archive.