GitHub repository: leanprover-community/mathematics_in_lean
Primary language: HTML
Description: The user home repository for the Mathematics in Lean tutorial.