diff --git a/booksrc/README.md b/booksrc/README.md index 597b424d..6dedde33 100644 --- a/booksrc/README.md +++ b/booksrc/README.md @@ -3,7 +3,7 @@ プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。 ```admonish info title="" -この文書は lean-ja が管理しています。誤りのご指摘、ご提案などは [GitHub リポジトリ](https://github.com/lean-ja/lean-by-example)からお願いします。 +本書は lean-ja の管理者である[北窓](https://github.com/Seasawher)が執筆・開発しています。誤りのご指摘、ご提案などは [GitHub リポジトリ](https://github.com/lean-ja/lean-by-example)からお願いします。 lean-ja の Discord サーバが[こちら](https://discord.gg/p32ZfnVawh)にあります。質問や相談などはこちらにどうぞ。 ```