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

Package: coqide (8.0pl3-2)

고차 로직용 proof assistant (gtk 인터페이스)

Coq는 형식 명세서를 갖는 컴퓨터 프로그램을 개발 할 수 있는, 고차 로직용 proof assistant입니다. 이것은 Objective Caml 및 Camlp4를 사용해서 개발되었습니다. 더 많은 정보를 원하시면 아래 사이트를 방문하시기 바랍니다. <http://coq.inria.fr/>

이 패키지는 proof 개발을 위한 Coqlde, 그래픽 사용자 인터페이스를 제공합니다.

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)
    proof assistant for higher-order logic (toplevel and compiler)
  • dep: libatk1.0-0 (>= 1.9.0)
    ATK 접근성 툴킷
  • dep: libc6 (>= 2.3.5-1) [not alpha, ia64]
    GNU C 라이브러리: 공유 라이브러리
    also a virtual package provided by libc6-udeb
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    GNU C 라이브러리: 공유 라이브러리
    also a virtual package provided by libc6.1-udeb
  • dep: libcairo2 (>= 1.0.2-2)
    카이로 2D 벡터 그래픽 라이브러리
  • dep: libfontconfig1 (>= 2.3.0)
    generic font configuration library - runtime
  • dep: libglib2.0-0 (>= 2.10.0) [amd64]
    GLib C 루틴 라이브러리
    dep: libglib2.0-0 (>= 2.8.5) [not amd64]
  • dep: libgtk2.0-0 (>= 2.8.0)
    GTK+ 그래픽 사용자 인터페이스 라이브러리
  • dep: libncurses5 (>= 5.4-5)
    터미널 처리용 공유 라이브러리
  • dep: libpango1.0-0 (>= 1.10.3) [not amd64]
    국제화된 텍스트의 레이아웃 및 렌더링
    dep: libpango1.0-0 (>= 1.12.0) [amd64]
  • dep: libx11-6
    X11 클라이언트용 라이브러리
  • dep: libxcursor1 (>> 1.1.2)
    X cursor management library
  • dep: libxext6
    X11 miscellaneous extension library
  • dep: libxi6
    X11 Input extension library
  • dep: libxinerama1
    X11 Xinerama extension library
  • dep: libxrandr2
    X11 RandR extension library
  • dep: libxrender1 (>= 1:0.9.0.2)
    X Rendering Extension client library

Download coqide

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 1,341.1 kB6436 kB [list of files]
amd64 3,575.6 kB13852 kB [list of files]
arm 1,297.8 kB6148 kB [list of files]
hppa 1,334.8 kB6276 kB [list of files]
i386 3,360.9 kB12100 kB [list of files]
ia64 1,365.2 kB6744 kB [list of files]
mips 1,323.3 kB6368 kB [list of files]
mipsel 1,314.2 kB6364 kB [list of files]
powerpc 3,802.0 kB12740 kB [list of files]
s390 1,355.7 kB6324 kB [list of files]
sparc 3,883.4 kB12936 kB [list of files]