package why3-coq

You can search for identifiers within the package.

in-package search v0.2.0

Why3 environment for deductive program verification

Install

Dune Dependency

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

Authors

Maintainers

G

guillaume.melquiond@inria.fr

Sources

why3-1.7.0.tar.gz

sha256=af282b8f3b8956e90ebe9b974c6ff27a810ff7c64590b40739b81cdcccb53d56

md5=8e0d729aacf4980280ea251165d6867b

doc/index.html

why3-coq