GitHub repository: nuudlman/mathematics_in_lean
Primary language: HTML
Description: The Mathematics in Lean tutorial.