package why3find
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Why3 Package Manager
Install
Dune Dependency
Authors
Maintainers
Sources
why3find-1.1.1.tar.gz
md5=1c67ccf5aecc83f64d70404eb85140b2
sha512=a805f182cae2543541591a98e48de8991276db97ee9933627cd2c1e16c83e4b549c8728b50cec3b6694b69f172b0cd04a3826e05550570266c18714fc1af162e
Description
The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code.
On This Page