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 (4)

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

v0.3.1.tar.gz
md5=99432da6253cc1d5eb071caa635044a1
sha512=a50035d28c10119b0d42391fcf1cce4cab101170f6ed308bfd214165b09e595d817fc0eea0efb4632810bd962cad022473ff9148bccd4854e46c22462347702e

Description

Gospel is a behavioural specification language for OCaml programs. It provides developers with a non-invasive and easy-to-use syntax to annotate their module interfaces with formal contracts that describe type invariants, mutability, function pre-conditions and post-conditions, effects, exceptions, and much more!

Published: 18 Mar 2026

Dependencies (11)

  1. pp_loc >= "2.1.0"
  2. ppx_deriving >= "5.2.1"
  3. ppxlib >= "0.36.0"
  4. ocaml-compiler-libs >= "v0.12.0"
  5. fmt >= "0.8.7"
  6. cmdliner >= "2.0.0"
  7. menhir >= "20181006"
  8. dune-build-info
  9. dune >= "3.0.0"
  10. ocamlfind
  11. ocaml >= "4.11" & <= "5.3.0"

Dev Dependencies (1)

  1. odoc with-test

Used by

None

Conflicts

None