imandra-markets

There are 2 repositories under imandra-markets topic.

imandra-ai/cme-mdp
Imandra Modelling Language CME MDP Model
Language:Jupyter Notebook13 14 23
imandra-ai/ipl-examples
Imandra Protocol Language example models
11 14 11