ocaml-gospel/why3gospel

A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.

语言：OCaml · GitHub 星标：12 · Fork：2

在 GitHub 上查看原仓库