package why3-coq

  1. Overview
  2. Docs
Why3 environment for deductive program verification

Install 

dune-project
 Dependency

www.why3.org Edit opam file Versions (16)

Authors

  1. F
    François Bobot
  2. J
    Jean-Christophe Filliâtre
  3. C
    Claude Marché
  4. G
    Guillaume Melquiond
  5. A
    Andrei Paskevich

Maintainers

  1. C
    Claude.Marche@inria.fr

Sources

why3-1.9.0.tar.gz
sha256=557993162146c916700822d53e8fb757f6f03e06d220b2c8fb96a573df0fa4a9
md5=1abc167c243121a5ea6db01b45494697

doc/index.html

why3-coq