diff --git a/README.md b/README.md index f231c9d03b4c5b03ebdc68c603539fd3598b78a7..dfbbf154aaa3cbeaa2ba47ecdf77726bdadbfd85 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,9 @@ layout: null Program Specification & Verification Group Website: http://psvg.doc.ic.ac.uk/ ============================================================================= + + +[](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/commits/master) [](https://gemnasium.com/6ba7afbbfda9adcba06f007cc565a29a) The source code for [this site](http://psvg.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk),