GitHub repository: leanprover/reference-manual
Primary language: Lean
Description: The Lean reference manual