Standard library for [Imandra](https://imandra.ai)
Repository from Github https://github.comimandra-ai/imandra-stdlibRepository from Github https://github.comimandra-ai/imandra-stdlib
