http://www-lti.informatik.rwth-aachen.de/~richter/
This is an unofficial reimagining of the Archive of Formal Proofs
Integration theory and random variablesby Stefan Richter