package vocal

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

Install

Dune Dependency

vocal.lri.fr Readme Edit opam file Versions (1)

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

doc/index.html

vocal

API

Library vocal

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct