Start here: Results.lean.

Pick a file from the tree on the left.

Identifier links resolve through find/#doc/<Name>; declarations defined in this repository jump here, anything else falls through to the official Mathlib docs.