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.