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

Pakket: coqide (8.2.pl1+dfsg-3 en anderen)

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides CoqIde, a graphical user interface for developing proofs.

Tags: Softwareontwikkeling: IDE, Field: Wiskunde, Implemented in: OCaml, User Interface: X Window Systeem, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window Systeem: Application

Andere aan coqide gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • dep: coq (= 8.2.pl1+dfsg-3) [niet m68k]
    proof assistant for higher-order logic (toplevel and compiler)
    dep: coq (>= 8.0) [m68k]
  • dep: hurd [hurd-i386]
    The GNU Hurd
    Ook een virtueel pakket geboden door: hurd-udeb
  • dep: libatk1.0-0 (>= 1.20.0) [niet alpha, armel, hppa, ia64, mips, mipsel, s390]
    The ATK accessibility toolkit
  • dep: libc0.1 (>= 2.3.2) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Bibliotheek: Gedeelde bibliotheken
    Ook een virtueel pakket geboden door: libc0.1-udeb
  • dep: libc0.3 (>= 2.9) [hurd-i386]
    GNU C Bibliotheek: Gedeelde bibliotheken
    Ook een virtueel pakket geboden door: libc0.3-udeb
  • dep: libc6 (>= 2.3.2) [amd64]
    GNU C Bibliotheek: Gedeelde bibliotheken
    Ook een virtueel pakket geboden door: libc6-udeb
    dep: libc6 (>= 2.3.6-6~) [i386]
    dep: libc6 (>= 2.4) [powerpc]
    dep: libc6 (>= 2.5-5) [m68k]
    dep: libc6 (>= 2.6) [sparc]
  • dep: libcairo2 (>= 1.2.4) [niet alpha, armel, hppa, ia64, mips, mipsel, s390]
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.4.0) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    FreeType 2 lettertypesysteem, gedeelde bibliotheken
  • dep: libglib2.0-0 (>= 2.12.0) [m68k]
    The GLib library of C routines
    dep: libglib2.0-0 (>= 2.16.0) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
  • dep: libgtk2.0-0 (>= 2.12.0) [niet alpha, armel, hppa, ia64, mips, mipsel, s390]
    The GTK+ graphical user interface library
  • dep: liblablgtk2-ocaml [niet m68k]
    runtime libraries for OCaml bindings for GTK+ version 2
  • dep: libncurses5 (>= 5.6+20071006-3) [m68k]
    shared libraries for terminal handling
  • dep: libpango1.0-0 (>= 1.14.0) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    Layout and rendering of internationalized text
    dep: libpango1.0-0 (>= 1.20.2) [m68k]
  • dep: ocaml-base-nox-3.11.1 [niet m68k]
    virtueel pakket geboden door ocaml-base-nox
  • dep: tex-common (>= 1.10) [m68k]
    common infrastructure for building and installing TeX

coqide downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha 8.2.pl1+dfsg-3 2.352,5 kB8920 kB [overzicht]
amd64 8.2.pl1+dfsg-3 6.385,1 kB21772 kB [overzicht]
armel 8.2.pl1+dfsg-3 2.353,9 kB8920 kB [overzicht]
hppa 8.2.pl1+dfsg-3 2.352,2 kB8920 kB [overzicht]
hurd-i386 8.2.pl1+dfsg-3 5.684,5 kB18344 kB [overzicht]
i386 8.2.pl1+dfsg-3 5.875,9 kB18564 kB [overzicht]
ia64 8.2.pl1+dfsg-3 2.352,5 kB8920 kB [overzicht]
kfreebsd-amd64 8.2.pl1+dfsg-3 6.383,9 kB21716 kB [overzicht]
kfreebsd-i386 8.2.pl1+dfsg-3 5.871,5 kB18516 kB [overzicht]
m68k (unofficial port) 8.1.pl3+dfsg-1+b2 2.363,1 kB8880 kB [overzicht]
mips 8.2.pl1+dfsg-3 2.352,5 kB8920 kB [overzicht]
mipsel 8.2.pl1+dfsg-3 2.352,5 kB8920 kB [overzicht]
powerpc 8.2.pl1+dfsg-3 6.430,4 kB19400 kB [overzicht]
s390 8.2.pl1+dfsg-3 2.352,5 kB8920 kB [overzicht]
sparc 8.2.pl1+dfsg-3 6.468,7 kB19600 kB [overzicht]