package vocal

  1. Overview
  2. Docs
VOCaL -- The Verified OCaml Library

Install

Authors

Maintainers

Sources

0.1.tar.gz
md5=958aa0242ed5abb398bff503b24e6a9f
sha512=f594f3b422bbbf4888db12ae3a75ed0a9de458a8b9e0dbeafebd0ddd3ace3f21233874817309eac4b5d80f72f778ee92038652b166f2c93d0522b6fda3a2cbeb

Description

VOCaL -- The Verified OCaml Library

Published: 25 Dec 2018

Dependencies (3)

  1. seq
  2. ocaml >= "4.07"
  3. dune

Dev Dependencies

None

Used by

None

Conflicts

None