diff --git a/_posts/2018-11-10-popl19.md b/_posts/2018-11-10-popl19.md
index 87600b3e2524aafb046d8f12b48028f59888f835..b5a32cdc032928a4c7f12e8d285e584fe50e36b6 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