Skip to content
@imandra-ai

Imandra

We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

Pinned Loading

  1. imandrax-vscode imandrax-vscode Public

    VS Code extension for ImandraX

    CSS 2 1

  2. imandrax-examples imandrax-examples Public

    ImandraX examples

    OCaml 1

  3. imandra-100-theorems imandra-100-theorems Public

    Imandra proofs of the Top 100 Theorems

    OCaml 13

  4. imandrax-tools imandrax-tools Public

    Python 1

Repositories

Showing 10 of 119 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…