todas as opções
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Fonte: coq  ]

Pacote: coq (8.20.1+dfsg-1)

Links para coq

Screenshot

Recursos de Debian:

Baixe o pacote-fonte coq:

Mantenedores(as):

Fontes externas:

Pacotes similares:

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

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 coqtop, a command line interface to Coq.

A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.

Etiquetas: Desenvolvimento de software: Compilador, Campo: Matemática, Implementado em: implemented-in::ocaml, interface::commandline, Interface de usuário(a): Interativo baseado em texto, Função: role::program, scope::utility, Kit de ferramentas de interface: Ncurses TUI

Outros pacotes relacionados a coq

  • depende
  • recomenda
  • sugere
  • melhora

Download de coq

Baixe para todas as arquiteturas disponíveis
Arquitetura Tamanho do pacote Tamanho instalado Arquivos
amd64 68,574.8 kB255,831.0 kB [lista de arquivos]