This repository is archived.
Gospel, its Why3 plugin and the VOCaL library have been moved to the ocaml-gospel organisation.
- Gospel: ocaml-gospel/gospel
- The Why3 plugin: ocaml-gospel/why3gospel
- The VOCaL library: ocaml-gospel/vocal
This repository has been archived by the owner on Mar 29, 2021. It is now read-only.