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).
raphaelrieuhelft/vocal
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- OCaml 88.9%
- Rocq Prover 9.1%
- Makefile 2.0%