deploy: 0adfd6a

lean-ja · Sep 6, 2023 · 947b26e · 947b26e
1 parent 8f3c1f5
commit 947b26e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -171,7 +171,7 @@ <h2 id="この翻訳について"><a class="header" href="#この翻訳につい
 また, 用語の訳が一般的でない可能性があります．誤りを含む可能性もあります．ご了承ください．</p>
 <p>また，原文のブログ記事が 2020 年のものであるため，一部記載している事項が現在とは異なる可能性があります．</p>
 <p>誤字脱字，内容の誤りの指摘，翻訳の改善の提案を歓迎いたします．
-この日本語版の<a href="https://github.com/Seasawher/math-in-type-theory-ja">GitHubリポジトリ</a>までお寄せください．</p>
+この日本語版の<a href="https://github.com/lean-ja/math-in-type-theory-ja">GitHubリポジトリ</a>までお寄せください．</p>
 <p>翻訳に際して，機械翻訳サービス<a href="https://www.deepl.com/ja/translator">DeepL翻訳</a>を参考にしました．</p>
 
                     </main>

diff --git a/print.html b/print.html
@@ -172,7 +172,7 @@ <h2 id="この翻訳について"><a class="header" href="#この翻訳につい
 また, 用語の訳が一般的でない可能性があります．誤りを含む可能性もあります．ご了承ください．</p>
 <p>また，原文のブログ記事が 2020 年のものであるため，一部記載している事項が現在とは異なる可能性があります．</p>
 <p>誤字脱字，内容の誤りの指摘，翻訳の改善の提案を歓迎いたします．
-この日本語版の<a href="https://github.com/Seasawher/math-in-type-theory-ja">GitHubリポジトリ</a>までお寄せください．</p>
+この日本語版の<a href="https://github.com/lean-ja/math-in-type-theory-ja">GitHubリポジトリ</a>までお寄せください．</p>
 <p>翻訳に際して，機械翻訳サービス<a href="https://www.deepl.com/ja/translator">DeepL翻訳</a>を参考にしました．</p>
 <div style="break-before: page; page-break-before: always;"></div><h1 id="イントロダクション"><a class="header" href="#イントロダクション">イントロダクション</a></h1>
 <!-- What is maths? I think it can basically be classified into four types of thing. There are definitions, true/false statements, proofs, and ideas. -->