From 814314a6c2f62811943da7cb5d95215f7b736999 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 5 Dec 2022 15:57:27 +0000
Subject: [PATCH] Update gillian.md

---
 research/gillian.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/research/gillian.md b/research/gillian.md
index dc9868f..a8de0cf 100644
--- a/research/gillian.md
+++ b/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/
-- 
GitLab