GitHub repository: ocaml-gospel/vocal
Primary language: OCaml
Created: 2020-11-20T15:51:35Z
Description: Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.