1 files changed, 2 insertions, 2 deletions

diff --git a/README.md b/README.md
index 872f94c..0cd41b2 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 [![CI](https://ci.tojo.tokyo/badge/acl2-theorems.svg)](https://ci.tojo.tokyo/jobs/acl2-theorems)
 
-# README
+# acl2-theorems
 
-ACL2 で証明した定理を置く場所です。
+練習のために ACL2 で証明した定理を置くリポジトリです。