summaryrefslogtreecommitdiffstats
path: root/site/posts/StronglySpecifiedFunctions.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-04 22:15:45 +0100
commit1f851ca9f2b400b5f7ca4d6a10c15fa734b86a17 (patch)
tree1860d41cf4e307cf1cbf872f335a4ca1b422392e /site/posts/StronglySpecifiedFunctions.v
parentcdba2c81167350e5191a3518af12e8961732acf3 (diff)
Change the date format
Diffstat (limited to 'site/posts/StronglySpecifiedFunctions.v')
-rw-r--r--site/posts/StronglySpecifiedFunctions.v3
1 files changed, 2 insertions, 1 deletions
diff --git a/site/posts/StronglySpecifiedFunctions.v b/site/posts/StronglySpecifiedFunctions.v
index 9aceb67..d241c26 100644
--- a/site/posts/StronglySpecifiedFunctions.v
+++ b/site/posts/StronglySpecifiedFunctions.v
@@ -1,6 +1,7 @@
(** #
<h1>Strongly-Specified Functions in Coq with the <code>refine</code> Tactic</h1>
-<time datetime="2015-07-11">2015-07-11</time>
+
+<span class="time">January 11, 2015</span>
# *)
(** I started to play with Coq, the interactive theorem prover