package why3-coq

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

Install 

dune-project
 Dependency

www.why3.org 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.8.2.tar.gz
sha256=b7d112edd5bcce6bcce0023d2bc834eb2ae1a1c42d7aea44ffa124d649b50bea
md5=76244d73d2cdaff1dbae867b60d0aa0d

doc/index.html

why3-coq