diff --git a/content/blog/coq_docs/index.md b/content/blog/coq_docs/index.md index 2472932..2a06e75 100644 --- a/content/blog/coq_docs/index.md +++ b/content/blog/coq_docs/index.md @@ -1,6 +1,7 @@ --- title: "I Don't Like Coq's Documentation" date: 2021-11-24T21:48:59-08:00 +expirydate: 2021-11-24T21:48:59-08:00 draft: true tags: ["Coq"] ---