feat: add imandrax

bronsa · bronsa · commit 0634e7995f70 · 2025-03-03T17:08:21.000Z
diff --git a/_technology/imandrax_docs.md b/_technology/imandrax_docs.md
@@ -0,0 +1,8 @@
+---
+vertical: Technology
+title: "ImandraX Documentation"
+doclink: imandrax
+docAbs: false
+Excerpt: ImandraX is an advanced tool for formal verification and automated reasoning, designed to enhance usability and efficiency in software development and formal methods,  building on the foundation of its predecessor, Imandra Core.
+img: icon-docs-imandra.svg
+---
diff --git a/jekyll-resources b/jekyll-resources
@@ -1 +1 @@
-Subproject commit daf4bbd11fc558ebda8b2dd566be8f598e56e071
+Subproject commit f7b16fa8b70b27795cf91ae96d0f3e556f5911d8
