Skip to content

Commit

Permalink
readme
Browse files Browse the repository at this point in the history
  • Loading branch information
c-cube committed Mar 20, 2024
1 parent 836d01e commit 213fbfa
Showing 1 changed file with 11 additions and 0 deletions.
11 changes: 11 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@

# Imandrakit

This is the core library used to build some of Imandra's projects.

It builds on top of [containers](https://github.com/c-cube/ocaml-containers/)
and [Moonpool](https://github.com/c-cube/moonpool/).

## License

MIT

0 comments on commit 213fbfa

Please sign in to comment.