GitHub repository: lean-ja/reference-manual-ja
Primary language: JavaScript
Created: 2024-10-24T20:18:14Z
Description: 「The Lean Language Reference」の日本語訳（作業中）