package gospel

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

Install 

dune-project
 Dependency

github.com Readme Changelog 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.2.0.tar.gz
md5=964e7cb82b4391c7ad0794c20adcc67f
sha512=15c5d3f48fac648ce0799c2664323d461f3792ae9477ba0fe8c499228a9faddda22e8ef66ef10733dce550dcf8ba2641fce2b5472005f649f28e5426d0631375

doc/index.html

gospel

API

Library gospel

Library gospel.stdlib

  • Gospelstdlib This file contains the Gospel standard library.

Library ppx_odoc_of_gospel