From 61f1d864980556e5b0f693be56a5655b66d27547 Mon Sep 17 00:00:00 2001
From: Malvin Gattinger <malvin@w4eg.de>
Date: Mon, 30 Oct 2023 18:08:41 +0100
Subject: [PATCH] Update README.md

---
 README.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index fe6b61a..75c3b14 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,10 @@
-# PDL in Lean 4
+# Propositional Dynamic Logic in Lean 4
+
+[![CI status](https://github.com/m4lvin/lean4-pdl/actions/workflows/build.yml/badge.svg)](https://github.com/m4lvin/lean4-pdl/actions/workflows/build.yml)
+[![Gitpod Ready-to-Code](https://img.shields.io/badge/Gitpod-ready--to--code-blue?logo=gitpod)](https://gitpod.io/#https://github.com/m4lvin/lean4-pdl)
 
 [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/m4lvin/lean4-pdl?quickstart=1)
 
-Some day this will hopefully replace <https://github.com/m4lvin/tablean>.
+Relevant links:
+- https://malv.in/2020/borzechowski-pdl
+- https://github.com/m4lvin/tablean