About the Official Announcements category

jroiko April 28, 2025, 5:49pm 1

Announcements from Imandra about releases and other major events

Topic	Replies	Views
Welcome to Imandra! :wave: General	1090	December 16, 2024
New ImandraX docs at imandrax.dev/docs General	5	March 12, 2026
ImandraX and Imandra Universe Updates Official Announcements product-release	1155	May 12, 2025
About the Tutorials category Tutorials	640	May 9, 2025
Version 2.0.0b3 is now available! Official Announcements product-release	1089	November 26, 2025