1. Overview
  2. No Docs
Why3 environment for deductive program verification (base)

Install

why3.lri.fr Edit opam file

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-0.88.3.tar.gz
md5=1ee0fd41075ba5e77a4b94ad0cc2dd43

Description

This package is for advanced users only, normal users should use the full why3 package.

Tags

deductive program verification formal specification automated theorem prover interactive theorem prover

Published: 12 Jan 2018

Dependencies (4)

  1. num
  2. menhir
  3. ocamlfind build
  4. ocaml >= "4.02.3" & < "4.07.0"

Dev Dependencies

    None

Used by (1)

  1. why3 = "0.88.3"

Conflicts (4)

  1. coq >= "8.8"
  2. coq < "8.4"
  3. ocamlgraph < "1.8.2"
  4. lablgtk < "2.14.2"