all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq  ]

Package: coq (8.9.0-1)

Links for coq

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

External Resources:

Similar packages:

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.

The proofgeneral package allows proofs to be edited using Emacs and XEmacs.

Tags: Software Development: Compiler, Field: Matematika, Implemented in: implemented-in::ocaml, interface::commandline, User Interface: Text-based Interactive, Role: role::program, scope::utility, Interface Toolkit: Ncurses TUI

Other Packages Related to coq

  • depends
  • recommends
  • suggests
  • enhances

Download coq

Download for all available architectures
Architecture Package Size Installed Size Files
armhf 55,983.5 kB197,337.0 kB [list of files]