数学系エンドユーザーのためのLean入門¶
講義概要¶
- https://www.math.kyoto-u.ac.jp/ja/event/seminar/6028
- 期間: 2026年6月22日（月）〜26日（金）
- 担当: 園田翔（理化学研究所 / サイバーエージェント）
講義資料¶
- （本編） https://shosonoda.github.io/lean-math-note/
- （GitHub） https://github.com/shosonoda/lean-math-note/
- （環境構築） https://shosonoda.github.io/lean-install/
このプロジェクトで指定する Lean version
leanprover/lean4:v4.30.0
目次¶
- 基礎編
- 実践編
参考文献¶
- Lean 公式 https://lean-lang.org/
- Avigad and Massot, Mathematics in Lean, Jun 11, 2026.
- Avigad et al., Theorem Proving in Lean 4, 2026.
-
The Lean Developers, The Lean Language Reference, v4.30.0., 2026.
-
井上, ゼロから始めるLean言語入門, ラムダノート, 2025
- Lean-by-Example https://lean-ja.github.io/lean-by-example/
- 数学系のためのLean勉強会 https://haruhisa-enomoto.github.io/lean-math-workshop/