http://www.math.sciences.univ-nantes.fr/~gouezel/
This is an unofficial reimagining of the Archive of Formal Proofs
Gromov Hyperbolicityby Sebastien Gouezel
Lp spacesby Sebastien Gouezel
Ergodic Theoryby Sebastien Gouezel