From 65734ee984597106a5c10bcebe26805341751423 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Mon, 19 Jul 2021 09:42:43 +0900
Subject: Initial commit.

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 README.md

(limited to 'README.md')

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..9885615
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# README
+
+ACL2 で証明した定理を置く場所です。
-- 
cgit v1.2.3