diff options
Diffstat (limited to 'site/posts/StronglySpecifiedFunctions.v')
| -rw-r--r-- | site/posts/StronglySpecifiedFunctions.v | 3 |
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 |