updated timestamp

2024-02-08 20:06:45 +09:00
parent e225747abd
commit c18e2fabae
199 changed files with 203 additions and 203 deletions
--- a/content/Coqの勉強.md
+++ b/content/Coqの勉強.md
@@ -1,5 +1,5 @@
 ---
-date: "2023-12-06T20:20:54+09:00"
+date: "2023-08-24T21:45:03+0900"
 ---
 #programming-language #memo #logic