GitHub repository: AestheticIntegration/imandra-starter-template
Primary language: OCaml
Description: Example layout for an Imandra project