package gospel

  1. Overview
  2. No Docs
A tool-agnostic formal specification language for OCaml

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. J
    Jean-Christophe Filliâtre
  2. S
    Samuel Hym
  3. C
    Cláudio Lourenço
  4. N
    Nicolas Obsorne
  5. C
    Clément Pascutto
  6. M
    Mário Pereira

Maintainers

  1. J
    Jean-Christophe.Filliatre@lri.fr

Sources

0.3.0.tar.gz
md5=e5b7f601526cbf590a070b6b9aebe1ad
sha512=a1375603a3f0ac7681e7e2e989be8af809edef78becc7d920e1d18af4f1db576dce91525cec70292c4ba559eb3f3bac67b023bcc826ea3dfdab956c86990ef91

doc/index.html

gospel

API

Library gospel

Library gospel.stdlib

  • Gospelstdlib This file contains the Gospel standard library.

Library ppx_odoc_of_gospel