why package in Ubuntu
libwhy-coq: Why library for Coq
why: Software verification tool
why-examples: Examples of programs certified with Why
Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.Is one of these projects the upstream for this source package?
|The Wily Werewolf (active development)|
|The Vivid Vervet (current stable release)|
The Precise Pangolin