[go: up one dir, main page]
Skip to content

repositories Search Results · topic:formal-verification org:imandra-ai fork:true

Filter by

7 results
 (166 ms)

7 results

inimandra-ai (press backspace or delete to remove)

imandra-ai/fix-engine

Imandra FIX Engine
  • OCaml
  • 51
  • Updated
    10 hours ago
Star

imandra-ai/reasonml-tic-tac-toe

  • Reason
  • 19
  • Updated
    on Jan 7, 2023
Star

imandra-ai/imandra-ros

Imandra ROS
  • OCaml
  • 17
  • Updated
    on Jan 24, 2022
Star

imandra-ai/cme-mdp

Imandra Modelling Language CME MDP Model
  • Jupyter Notebook
  • 13
  • Updated
    on May 12, 2020
Star

imandra-ai/ipl-examples

Imandra Protocol Language example models
  • 11
  • Updated
    on Aug 23
Star

imandra-ai/ipl-vscode

Imandra Protocol Language VS Code Plugin
  • 8
  • Updated
    25 days ago
Star

imandra-ai/imandra-stats-experiments

Experiments combining Imandra with statistical or probabilistic models
  • Jupyter Notebook
  • 1
  • Updated
    on Jan 16, 2021
Star
Package icon

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Package icon

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects
ProTip! 
Press the
/
key to activate the search input again and adjust your query.