README追加

Seasawher · Aug 27, 2024 · 449d7ac · 449d7ac
1 parent dabd13e
commit 449d7ac
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1 +1,3 @@
-# concreteSemantics
+# concreteSemantics
+
+Nipkow, Klein『Concrete Semantics with Isabelle/HOL』をLeanで読んでいくノートです。