From 947b26eb5941f3602d5c025bcb1a1fb647e7ccf6 Mon Sep 17 00:00:00 2001
From: Seasawher <Seasawher@users.noreply.github.com>
Date: Wed, 6 Sep 2023 12:13:47 +0000
Subject: [PATCH] deploy: 0adfd6a45344db257eef17a2bfe41e39d5183bbc

---
 index.html | 2 +-
 print.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 70a92c3..e9c54a5 100644
--- 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
index 7b4eeb6..81eb0bc 100644
--- 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. -->