コンテンツにスキップ
数学系エンドユーザーのためのLean入門
実践編
検索を初期化
数学系エンドユーザーのためのLean入門
トップ
基礎編
基礎編
Chapter 01: 命題論理と述語論理の形式証明
Chapter 02: Lean の基本構文・型・データ構造
Chapter 03: tactic を用いた証明
Chapter 04: Mathlib を用いた証明の書き方
Chapter 05: Lean Project の作成と操作
Chapter 06: Lean の仕組み
実践編
実践編
Chapter 01: 代数
Chapter 02: 線形代数
Chapter 03: 位相
Chapter 04: 微分
Chapter 05: 積分
Chapter 06: 確率論
印刷用ページ
レポート課題
実践編
¶
Chapter 01: 代数
Chapter 02: 線形代数
Chapter 03: 位相
Chapter 04: 微分
Chapter 05: 積分
Chapter 06: 確率論
ページトップへ戻る