GitHub repository: s-taiga/reference-manual-ja
Primary language: Lean
Created: 2025-01-06T11:00:27Z
Description: The Lean Language Reference の日本語訳