Update README.md

GitHubリポジトリのリンクが間違っていたので，修正
lean-ja · Sep 6, 2023 · 0adfd6a · 0adfd6a
1 parent 158adf3
commit 0adfd6a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/README.md b/src/README.md
@@ -10,6 +10,6 @@
 また，原文のブログ記事が 2020 年のものであるため，一部記載している事項が現在とは異なる可能性があります．
 
 誤字脱字，内容の誤りの指摘，翻訳の改善の提案を歓迎いたします．
-この日本語版の[GitHubリポジトリ](https://github.com/Seasawher/math-in-type-theory-ja)までお寄せください．
+この日本語版の[GitHubリポジトリ](https://github.com/lean-ja/math-in-type-theory-ja)までお寄せください．
 
-翻訳に際して，機械翻訳サービス[DeepL翻訳](https://www.deepl.com/ja/translator)を参考にしました．
+翻訳に際して，機械翻訳サービス[DeepL翻訳](https://www.deepl.com/ja/translator)を参考にしました．