Version 2.0.0b3 is now available!

Official Announcements
1

Version 2.0.0b3 is now available for all users, with improvements and new features! :tada: :tada:

  • Enhanced codelogician eval subcommand:

    • Support added for listing and evaluating verification goals and region decomposition requests in IML files
    • Native JSON output support added

  • imandrax-tools is now available on PyPI, bundling:

    • imandrax-api-models: Pydantic model definitions for Imandrax API
    • iml-query: Tree-sitter based tool for manipulating IML code

  • Streaming support for intermediate updates in the imandra CodeLogician agent added

  • New fixes and improvements to Terminal User Interface (TUI)

  • Improved handling of deep dependencies during formalization in server