From 73b3af5addac2fa7633b13db3750c247795c13c6 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Tue, 12 Mar 2024 15:57:36 +0100 Subject: [PATCH] Add link to benchmarks in GitHub readme (#1063) --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 7140f122a3..2261a4c59a 100644 --- a/README.md +++ b/README.md @@ -15,3 +15,4 @@ welcome contributions to the library about any topic in mathematics. 1. [The agda-unimath website](https://unimath.github.io/agda-unimath/) 2. [Discord](https://discord.gg/Zp2e8hYsuX) 3. [Twitch](https://www.twitch.tv/agdaunimath) +4. [Benchmarks](https://agda-unimath-benchmarks.netlify.app/)