package why3

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

Install

Dune Dependency

Authors

Maintainers

Sources

why3-1.2.1.tar.gz
sha256=8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04
md5=0ba29f2d7084f7171d50271c77304cdf

doc/index.html

why3

API

Library why3

No module.

Library why3.extract

No module.

OCaml

Innovation. Community. Security.