Add link to benchmarks in GitHub readme (#1063)

UniMath · Mar 12, 2024 · 73b3af5 · 73b3af5
1 parent 6617100
commit 73b3af5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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/)