From 10399cad2ce8a71541c07deded864e9ecc3e7a8b Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 30 Nov 2018 13:55:05 +0000
Subject: [PATCH] Update 2018-11-10-popl19.md

---
 _posts/2018-11-10-popl19.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/_posts/2018-11-10-popl19.md b/_posts/2018-11-10-popl19.md
index 87600b3..b5a32cd 100644
--- a/_posts/2018-11-10-popl19.md
+++ b/_posts/2018-11-10-popl19.md
@@ -17,4 +17,5 @@ Martin and Philippa's paper, written in collaboration with
 from [Inria]( https://www.inria.fr/en/centre/rennes), is ['Skeletal Semantics 
 and Their Interpretations']({{site.baseurl}}{% link publications/Bodin2019Skeletal.html %}) and in it, they introduce a skeletal semantics of 
 a language, where each skeleton describes the complete semantic behaviour of 
-a language construct.
\ No newline at end of file
+a language construct. You can find more details and additional proofs on the [companion page](http://skeletons.inria.fr/popl2019/index.html)
+and their [artifact on their Gitlab repository](https://gitlab.inria.fr/skeletons/Coq/tree/POPL2019).
\ No newline at end of file
-- 
GitLab