Paketti: coq (8.9.0-1)

Links for coq

Debian-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjät:

External Resources:

Kotisivu [coq.inria.fr]

Samankaltaisia paketteja:

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.

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

Muut pakettiin coq liittyvät paketit

depends

recommends

suggests

enhances

dep: coq-theories (= 8.9.0-1)

proof assistant for higher-order logic (theories)
dep: libc6 (>= 2.28)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libcoq-ocaml-m8xw4

näennäispaketti, jonka toteuttaa libcoq-ocaml
dep: ocaml-base-nox-4.05.0

näennäispaketti, jonka toteuttaa ocaml-base-nox
dep: ocaml-findlib

management tool for OCaml libraries
dep: ocaml-nox

ML implementation with a class-based object system (no X)
dep: python3

interactive high-level object-oriented language (default python3 version)

sug: coq-doc

Paketti ei saatavilla
sug: ledit

line editor for interactive programs

tai readline-editor

näennäispaketti, jonka toteuttaa ledit, rlfe, rlwrap
sug: libcoq-ocaml-dev

development libraries and tools for Coq
sug: proofgeneral

Paketti ei saatavilla
sug: why (>= 2.19)

Paketti ei saatavilla

Imuroi coq

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	57,608.0 kt	233,951.0 kt	[tiedostoluettelo]