package why3-ide

You can search for identifiers within the package.

in-package search v0.2.0

Why3 environment for deductive program verification

Install

Dune Dependency

www.why3.org Edit opam file Versions (19)

Authors

Maintainers

G

guillaume.melquiond@inria.fr

Sources

why3-1.7.2.tar.gz

sha256=55a486fc588ed8c0dd49215718926b232950c742cfc2d4fc005ed3a4f5598424

md5=9990eae408e04067d76029372a58087f

doc/index.html

why3-ide