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).
-
Notifications
You must be signed in to change notification settings - Fork 2
Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.
License
ocaml-gospel/vocal
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