Lean 構文早見表

Lean 構文早見表は，Lean の基本的な構文や機能を紹介するためのサンプルコード集です．Lean の数多くの機能の全体を概観できる資料となることを目指しています．

警告

本書の更新は終了しました。 本書の内容は Lean by Example に移動されました。