GitHub repository: AestheticIntegration/imandra-stdlib
Primary language: Makefile
Created: 2018-06-01T22:22:12Z
Description: Standard library for [Imandra](https://imandra.ai)