Standard library for [Imandra](https://imandra.ai) - View it on GitHub