imandra-ai/imandra-stdlib

Standard library for [Imandra](https://imandra.ai)

Makefile