From aef909205c6f1b6ca7d415ac6b8568926c84f564 Mon Sep 17 00:00:00 2001
From: Adomas Baliuka <52975890+adomasbaliuka@users.noreply.github.com>
Date: Tue, 20 Jan 2026 22:58:28 +0100
Subject: [PATCH] adds badge linking to API docs

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

diff --git a/README.md b/README.md
index 52072b7..45eeeac 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,8 @@ Conservative interval arithmetic in Lean
 ========================================
 
 [![build](https://github.com/girving/interval/actions/workflows/lean.yml/badge.svg)](https://github.com/girving/interval/actions/workflows/lean.yml)
+[![api_docs](https://img.shields.io/badge/doc-API_docs-blue)](https://girving.github.io/interval/docs/)
+
 
 We implement conservative interval arithmetic in Lean, on top of a software implementation of
 floating point (since Lean's `Float` is untrusted). The key types are