» Ubuntu » Paket » lucid (10.04LTS) » math » why
lucid  ] [  precise  ] [  raring  ] [  utopic  ]
[ Källkod: why  ]

Paket: why (2.23+dfsg-2) [universe]

Länkar för why

Screenshot

Ubunturesurser:

Hämta källkodspaketet why:

Ansvarig:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-postarkiv)
  • Samuel Mimram
  • Mehdi Dogguy

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

Liknande paket:

A software verification tool

Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.

Andra paket besläktade med why

  • beror
  • rekommenderar
  • föreslår
  • dep: libatk1.0-0 (>= 1.29.3)
    The ATK accessibility toolkit
  • dep: libc6 (>= 2.11)
    Embedded GNU C Library: Shared libraries
    också ett virtuellt paket som tillhandahålls av libc6-udeb
  • dep: libcairo2 (>= 1.2.4)
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.8.0)
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1)
    FreeType 2 font engine, shared library files
  • dep: libglib2.0-0 (>= 2.16.0)
    The GLib library of C routines
  • dep: libgmp3c2
    Multiprecision arithmetic library
  • dep: libgtk2.0-0 (>= 2.12.0)
    The GTK+ graphical user interface library
  • dep: libmpfr1ldbl
    multiple precision floating-point computation
  • dep: libpango1.0-0 (>= 1.14.0)
    Layout and rendering of internationalized text
  • dep: ocaml-base-nox-3.11.2
    virtuellt paket som tillhandahålls av ocaml-base-nox
  • rec: alt-ergo
    Automatic theorem prover dedicated to program verification
  • sug: libwhy-coq (= 2.23+dfsg-2)
    Why library for Coq

Hämta why

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 8.812,7 kbyte27.636,0 kbyte [filförteckning]
i386 7.062,5 kbyte20.716,0 kbyte [filförteckning]