Merge pull request #91 from lean-ja/Seasawher-patch-1

開発停止をアナウンスする

README.md

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