From a2b49873f9d17ac471f23a250bf574542092fdc6 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 8 Jul 2016 15:25:41 -0400 Subject: [PATCH] Typo in year. --- content/news.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/news.md b/content/news.md index ca550cc..9fb24a4 100644 --- a/content/news.md +++ b/content/news.md @@ -1,4 +1,4 @@ -+ **07/2017** Our preprint **Coupling proofs are probabilistic product ++ **07/2016** Our preprint **Coupling proofs are probabilistic product programs** is now available. + **07/2016** An updated version of our preprint **Formal verification of randomized algorithms** is now available.