GitHub repository: mrjazzybread/gospel
Primary language: OCaml
Description: A tool-agnostic formal specification language for OCaml.