GitHub repository: lean-ja/lean-by-example-legacy
Primary language: Lean
Description: Lean の基本的な構文や機能を紹介するためのサンプルコード集です．（執筆中止）