[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Source: coq  ]

Package: coqide (8.1.pl3+dfsg-1 and others)

Dokazovací asistent používající logiku vyššího řádu (s rozhraním gtk)

Coq je dokazovací asistent logiky vyššího řádu, který umožňuje vývoj počítačových programů konzistentních s jejich formálními specifikacemi. Je vyvíjen pomocí objektového Caml a Camlp4. Pro více informací se podívejte na <http://coq.inria.fr/>.

Tento balíček obsahuje CoqIde, grafické uživatelské rozhraní pro vývoj důkazů.

Tags: Software Development: IDE, Field: Mathematics, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • dep: coq (>= 8.0)
    Dokazovací nástroj vyšší logiky (nejvyšší úroveň a kompilátor)
  • dep: libatk1.0-0 (>= 1.20.0)
    Sada nástrojů pro přístupnost ATK
  • dep: libc6 (>= 2.7-1) [not alpha, ia64]
    Knihovna GNU C: Sdílené knihovny
    also a virtual package provided by libc6-udeb
  • dep: libc6.1 (>= 2.7-1) [alpha, ia64]
    Knihovna GNU C: Sdílené knihovny
    also a virtual package provided by libc6.1-udeb
  • dep: libcairo2 (>= 1.2.4)
    The Cairo 2D vector graphics library
  • dep: libgcc1 (>= 1:4.3) [armel]
    Knihovna pro překladač GCC
  • dep: libglib2.0-0 (>= 2.12.0)
    Knihovna GLib s C rutinami
  • dep: libgtk2.0-0 (>= 2.12.0)
    Knihovna grafického uživatelského rozhraní GTK+
  • dep: libncurses5 (>= 5.6+20071006-3)
    Sdílené knihovny pro obsluhu terminálu
  • dep: libpango1.0-0 (>= 1.20.2)
    Formátování a vykreslování mezinárodního textu
  • dep: tex-common (>= 1.10)
    common infrastructure for building and installing TeX

Download coqide

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha 8.1.pl3+dfsg-1+b2 2,410.6 kB9212 kB [list of files]
amd64 8.1.pl3+dfsg-1+b2 5,108.7 kB17772 kB [list of files]
arm 8.1.pl3+dfsg-1+b2 2,354.6 kB8900 kB [list of files]
armel 8.1.pl3+dfsg-1+b2 2,359.7 kB8928 kB [list of files]
hppa 8.1.pl3+dfsg-1+b2 2,389.2 kB9036 kB [list of files]
i386 8.1.pl3+dfsg-1+b2 4,811.6 kB15712 kB [list of files]
ia64 8.1.pl3+dfsg-1+b2 2,440.8 kB9564 kB [list of files]
mips 8.1.pl3+dfsg-1+b2 2,379.9 kB9124 kB [list of files]
mipsel 8.1.pl3+dfsg-1+b2 2,369.1 kB9124 kB [list of files]
powerpc 8.1.pl3+dfsg-1+b2 5,374.0 kB16676 kB [list of files]
s390 8.1.pl3+dfsg-1+b2 2,440.3 kB9112 kB [list of files]
sparc 8.1.pl3+dfsg-1+b2 5,383.5 kB16740 kB [list of files]