Pacote: coqide (8.1.pl3+dfsg-1 e outros) [debports]

[ Fonte:  ]

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 Camlp4. For more information, see <http://coq.inria.fr/>.

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

Outros pacotes relacionados a coqide

• dep: coq (>= 8.0)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libatk1.0-0 (>= 1.20.0)

  Kit de ferramenta de acessibilidade ATK

• dep: libc6 (>= 2.5-5)

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

• dep: libcairo2 (>= 1.2.4)

  biblioteca gráfica de vetores 2D Cairo

• dep: libglib2.0-0 (>= 2.12.0)

  biblioteca GLib de rotinas C - pacote de transição

• dep: libgtk2.0-0 (>= 2.12.0)

  GTK graphical user interface library - old version

• dep: libncurses5 (>= 5.6+20071006-3)

  Pacote não disponível

• dep: libpango1.0-0 (>= 1.20.2)

  Layout and rendering of internationalized text (transitional package)

• dep: tex-common (>= 1.10)

  infra-estrutura comum para construir e instalar o TeX

Download de coqide

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
m68k (porte não oficial)	8.1.pl3+dfsg-1+b2	2,363.1 kB	8,880.0 kB	[lista de arquivos]