GitHub repository: AestheticIntegration/imandra-goals
Primary language: OCaml
Description: Library for creating reports from Imandra verification goals