基礎編¶ Chapter 01: 命題論理と述語論理の形式証明 Chapter 02: Lean の基本構文・型・データ構造 Chapter 03: tactic を用いた証明 Chapter 04: Mathlib を用いた証明の書き方 Chapter 05: Lean Project の作成と操作 Chapter 06: Lean の仕組み