Source Package why3

Subpackages

• why3 - Software verification platform
• ocaml-why3 - Software verification library for ocaml
• ocaml-why3-devel - Development files for using the ocaml-why3 library
• why3-all - Complete Why3 software verification platform suite
• why3-emacs - Emacs support file for why3 files
• why3-examples - Example inputs
• why3-proofgeneral - Why3 integration with ProofGeneral