GitHub repository: ocaml-gospel/why3gospel
Primary language: OCaml
Created: 2020-11-20T15:51:49Z
Description: A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.