Update gillian.md

research/gillian.md

@@ -7,7 +7,7 @@ menu_order: 4
 sub_menu_order: 2
 ---
 
-Gillian is a multi-language platform for the development
+[Gillian](https://gillianplatform.github.io/) is a multi-language platform for the development
 of compositional symbolic analysis tools. Gillian currently
 supports three flavours of analysis: symbolic
 testing, full verification based on separation logic, and
@@ -55,4 +55,4 @@ and GCHQ. It was previously supported by the EPSRC programme grant
 
 [VeTSpec]: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/R034567/1
 [EP/K008528/1]: http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K008528/1
-[REMS]: http://www.cl.cam.ac.uk/~pes20/rems/
\ No newline at end of file
+[REMS]: http://www.cl.cam.ac.uk/~pes20/rems/