From f4f4ef243f9157a2af47f5bd7ddf368ff076243c Mon Sep 17 00:00:00 2001 From: Egbert Rijke Date: Sun, 17 Sep 2023 11:13:37 +0200 Subject: [PATCH] Update README.md (#779) --- README.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/README.md b/README.md index ff87b2b91e..6cfee15301 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,5 @@ ![agda-unimath-star-trek-extra-bold-bt](https://github.com/UniMath/agda-unimath/assets/1252282/cbd9b67e-581c-41c7-bc1e-34862127bad2) -[![CI](https://github.com/UniMath/agda-unimath/actions/workflows/ci.yaml/badge.svg)](https://github.com/UniMath/agda-unimath/actions/workflows/ci.yaml) -[![agda-unimath website](https://github.com/UniMath/agda-unimath/actions/workflows/pages.yaml/badge.svg)](https://github.com/UniMath/agda-unimath/actions/workflows/pages.yaml) - The `agda-unimath` library is a community formalization project for univalent mathematics in [Agda](https://github.com/agda/agda). The library project was created by Elisabeth Bonnevier, Jonathan Prieto-Cubides, and Egbert Rijke. Our @@ -14,6 +11,6 @@ the library about any topic in mathematics. ## Links -1. [agda-unimath webpage](https://unimath.github.io/agda-unimath/) +1. [The agda-unimath website](https://unimath.github.io/agda-unimath/) 2. [Discord](https://discord.gg/Zp2e8hYsuX) 3. [Twitch](https://www.twitch.tv/agdaunimath)