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.3.2.tar.gz
sha256=8753ee9b75c69def9acdaecb4e99fb458715fee1e89c7a7e5be7af777b14a525
md5=932ff254d9cff097cba33c1ef2f51f4a

doc/index.html

why3-coq