diff --git a/docs/requirements.txt b/docs/requirements.txt
index 4b4df4788..a816aea3d 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,5 @@
 sphinx==7.2.6
 breathe==4.35.0
 sphinx-rtd-theme==1.3.0
+sphinx-tabs==3.4.1
 z3-solver>=4.8.0