From bb06600a17b4448a09fa5f362c874c437202bab5 Mon Sep 17 00:00:00 2001
From: Nicola Mometto <nicola@imandra.ai>
Date: Thu, 9 Jan 2025 10:41:05 +0000
Subject: [PATCH] feat: imandrax

---
 _data/sites.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/_data/sites.yml b/_data/sites.yml
index 1431ea9..0c0136a 100644
--- a/_data/sites.yml
+++ b/_data/sites.yml
@@ -4,6 +4,9 @@
 - name: Imandra Core
   baseurl: /imandra-docs
 
+- name: ImandraX
+  baseurl: /imandrax
+
 - name: Imandra Protocol Language
   baseurl: /ipl