gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/why3

Why is a software verification platform.

Screenshots

  • why3-0.87_p1
    amd64 x86
    ide lib pvs coq isabelle hypothesis doc jessie3 comp-sess +ocamlopt

    View      Download      Browse     License: GPL-2   
    Overlay: buzden (layman)
  • why3-0.83
    ~amd64
    float frama-c doc examples

    View      Download      Browse     License: LGPL-2   
    Overlay: science (layman)