GitHub repository: ocaml-gospel/gospel
Primary language: OCaml
Created: 2020-11-20T15:51:17Z
Description: A tool-agnostic formal specification language for OCaml.