Disclamer: This project is still experimental. No support will be provided at this point, and its interface is still unstable.
Vocal is a set of OCaml modules, formally verified using Gospel and various tools (currently, Why3, CFML, Coq).
Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.
License
ocaml-gospel/vocal
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.
Resources
License
Stars
Watchers
Forks
Releases
No releases published