GitHub repository: AestheticIntegration/imandra-merlin
Primary language: OCaml
Description: Merlin reader for imandra files