From 32c03aa71aba7d5162e70e56ccd74c21bacc034b Mon Sep 17 00:00:00 2001 From: Seasawher Date: Mon, 8 Jan 2024 18:52:49 +0900 Subject: [PATCH] =?UTF-8?q?lean=20=E3=81=AE=E6=8E=88=E6=A5=AD=E3=83=AA?= =?UTF-8?q?=E3=82=B9=E3=83=88=E3=82=92=E7=B4=B9=E4=BB=8B=E3=81=99=E3=82=8B?= =?UTF-8?q?=20#27?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- content/links.md | 1 + 1 file changed, 1 insertion(+) diff --git a/content/links.md b/content/links.md index 06e0346..1bc609c 100644 --- a/content/links.md +++ b/content/links.md @@ -27,6 +27,7 @@ weight = 1 * [Mathematics in Lean](https://leanprover-community.github.io/mathematics_in_lean/) Lean でどのように数学を形式化するかを学ぶ教科書．初等整数論をはじめ，位相空間や測度も扱っています． * [Metaprogramming in Lean 4](https://github.com/leanprover-community/lean4-metaprogramming-book) Lean で独自のコマンドやタクティクを作るための方法を解説した本． * [Natural Number Game 4](https://adam.math.hhu.de/#/g/hhu-adam/NNG4) Lean を使い，ペアノの公理から始めて自然数の基本的な性質を証明する初心者向けブラウザゲーム． +* [Courses using Lean](https://leanprover-community.github.io/teaching/courses.html) Lean を題材とした講義のリスト． ## 日本語リソース