From 0659e06008f2402fde525da71af9226091623313 Mon Sep 17 00:00:00 2001 From: Josh Chen Date: Wed, 12 Sep 2018 09:24:48 +0200 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 555bca9..9115ced 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -https://zenodo.org/badge/DOI/10.5281/zenodo.1413984.svg +![DOI:10.5281/zenodo.1413984](https://zenodo.org/badge/DOI/10.5281/zenodo.1413984.svg) # Isabelle/HoTT -- cgit v1.2.3