GitHub repository: pgraubner/reference-manual
Description: The Lean reference manual