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.3.0.tar.gz

sha256=6167b634a873c28500876bdbe553913186c09275941f9827a3fd17852b9faeb4

md5=239f81beed17acc7065109203029ecad

doc/index.html

why3-coq