GitHub repository: lean-ja/mathematics_in_lean_source
Primary language: Lean
Description: 「Mathematics in Lean tutorial」の和訳.