vocal

VOCaL -- The Verified OCaml Library
Description

VOCaL -- The Verified OCaml Library

Install
Published
25 Dec 2018
Authors
Maintainers
Sources
0.1.tar.gz
md5=958aa0242ed5abb398bff503b24e6a9f sha512=f594f3b422bbbf4888db12ae3a75ed0a9de458a8b9e0dbeafebd0ddd3ace3f21233874817309eac4b5d80f72f778ee92038652b166f2c93d0522b6fda3a2cbeb
Dependencies
Reverse Dependencies