package why3-coq

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

Install 

dune-project
 Dependency

why3.lri.fr Edit opam file Versions (20)

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. G
    guillaume.melquiond@inria.fr

Sources

why3-1.7.0.tar.gz
sha256=af282b8f3b8956e90ebe9b974c6ff27a810ff7c64590b40739b81cdcccb53d56
md5=8e0d729aacf4980280ea251165d6867b

doc/index.html

why3-coq