From e57c1968ec6dddeb95f815515fd501f4a25d6901 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 2 Apr 2021 14:12:21 +0100
Subject: Add logo to readme

---
 README.org | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/README.org b/README.org
index 608210f..c2382f1 100644
--- a/README.org
+++ b/README.org
@@ -1,9 +1,6 @@
-* Vericert
-   :PROPERTIES:
-:CUSTOM_ID: vericert
-:END:
-#+html: <a href="https://github.com/ymherklotz/vericert/actions"><img src="https://github.com/ymherklotz/vericert/workflows/CI/badge.svg" /></a>
-#+html: <a href="https://vericert.ymhg.org/"><img src="https://github.com/ymherklotz/vericert-docs/workflows/docs/badge.svg" /></a>
+#+html: <a href="https://vericert.ymhg.org"><img src="https://vericert.ymhg.org/vericert-main.svg" width="100%" height="144" /></a>
+
+#+html: <p align=center><a href="https://github.com/ymherklotz/vericert/actions"><img src="https://github.com/ymherklotz/vericert/workflows/CI/badge.svg" /></a>&nbsp;<a href="https://vericert.ymhg.org/"><img src="https://github.com/ymherklotz/vericert-docs/workflows/docs/badge.svg" /></a></p>
 
 A formally verified high-level synthesis (HLS) tool written in Coq,
 building on top of [[https://github.com/AbsInt/CompCert][CompCert]].
-- 
cgit