search

imandra-ai / imandra-http-api-client

Interact with Imandra via http from within OCaml.
2 stars 0 forks source link

Base client from api.ml interface extracted from imandra repo #10

Closed actionshrimp closed 1 year ago

actionshrimp commented 1 year ago

Updated the http-api in imandra to get it fully on board with api.ml, and made api.ml dependencyless as part of this PR:

https://github.com/imandra-ai/imandra/pull/1567