Update README.md

README.md

@@ -1,6 +1,6 @@
 # Lean 構文早見表
 
 > [!WARNING]
-> このリポジトリの内容を，他のリポジトリと統合する予定があるため，このリポジトリの開発は凍結されています．
+> このリポジトリの内容は [Lean by Example](https://github.com/lean-ja/lean-by-example) に統合されるため，このリポジトリの開発は凍結されています．
 
 Lean の基本的な構文や機能を紹介するためのサンプルコード集です．