Update 2018-11-10-popl19.md

_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