package why3

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

Install

Dune Dependency

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

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.5.0.tar.gz
sha256=1962b647e66bf4cdb457883d9d3c0ad0c421fef794589740ece355ec6f225062
md5=fbe909444b17611ddcc8ce8b8288006b

doc/index.html

why3

API

Library why3

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct