package vocal

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

Install

vocal.lri.fr Readme MIT License Edit opam file

Authors

  1. A
    Arthur Charguéraud
  2. M
    Martin Clochard
  3. J
    Jean-Christophe Filliâtre
  4. L
    Léon Gondelman
  5. A
    Armaël Guéneau
  6. Xavier Leroy
  7. C
    Cláudio Lourenço
  8. S
    Simão Melo de Sousa
  9. A
    Andrei Paskevich
  10. M
    Mário Pereira
  11. F
    François Pottier

Maintainers

  1. M
    Mário Pereira <mpereira@lri.fr>

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