Imandra CodeLogician
Source code formal reasoning copilot
Your “math PhD sidekick” for mathematically reasoning about code with ImandraX from within your favorite AI coding assistant via MCP.
A Gentle Intro to ImandraX and CodeLogician by Denis Ignatovich
04 Jun 2025View
Imandra Inc. Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents with Logical Reasoning
04 Jun 2025View
Structured Generation presented by Dr. Kostya Kanishev of Imandra
26 May 2025View
First steps with ImandraX
8 May 2025View
Imandra Unveils CodeLogician: A Groundbreaking Neurosymbolic AI Agent for Mathematical Code Reasoning
26 Mar 2025View
Imandra Inc. Advances Neurosymbolic AI Reasoning with ImandraX Release
25 Feb 2025View
The start of a new AI paradigm
10 Feb 2025View
Observer: AI Knowledge Work in the wake of DeepSeek R1
06 Feb 2025View
Pan Finance Award
A-Team Innovation Award
Defense TechConnect Innovation Challenge Award
ISO Certification