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