coq-doc-html_8.3pl4-1_all.deb


Advertisement

Description

coq-doc-html - documentation for Coq in html format

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Nonfree amd64
Package name coq-doc-html
Package version 8.3pl4
Package release 1
Package architecture all
Package type deb
Installed size 2.40 KB
Download size 543.38 KB
Official Mirror ftp.br.debian.org
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 contains its documentation and tutorials in html format.

Alternatives

Package Version Architecture Repository
coq-doc-html_8.3pl4-1_all.deb 8.3pl4 all Debian Nonfree
coq-doc-html - - -

Replaces

Name Value
coq-doc <= 8.0pl1.0-1

Download

Type URL
Binary Package coq-doc-html_8.3pl4-1_all.deb
Source Package coq-doc

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install coq-doc-html deb package:
    # sudo apt-get install coq-doc-html

Files

Path
/usr/share/doc-base/coq-faq-html
/usr/share/doc-base/coq-manual-html
/usr/share/doc-base/coq-rectutorial-html
/usr/share/doc-base/coq-tutorial-html
/usr/share/doc/coq-doc-html/FAQ.v.html
/usr/share/doc/coq-doc-html/RecTutorial.html
/usr/share/doc/coq-doc-html/Tutorial.v.html
/usr/share/doc/coq-doc-html/changelog.Debian.gz
/usr/share/doc/coq-doc-html/changelog.gz
/usr/share/doc/coq-doc-html/copyright
/usr/share/doc/coq-doc-html/refman/Reference-Manual001.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual002.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual003.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual004.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual005.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual006.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual007.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual008.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual009.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual010.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual011.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual012.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual013.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual014.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual015.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual016.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual017.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual018.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual019.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual020.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual021.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual022.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual023.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual024.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual025.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual026.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual027.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual028.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual029.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual030.html
/usr/share/doc/coq-doc-html/refman/Reference-Manual031.html
/usr/share/doc/coq-doc-html/refman/biblio.html
/usr/share/doc/coq-doc-html/refman/command-index.html
/usr/share/doc/coq-doc-html/refman/coqide-queries.png
/usr/share/doc/coq-doc-html/refman/coqide.png
/usr/share/doc/coq-doc-html/refman/error-index.html
/usr/share/doc/coq-doc-html/refman/general-index.html
/usr/share/doc/coq-doc-html/refman/hevea.css
/usr/share/doc/coq-doc-html/refman/index.html
/usr/share/doc/coq-doc-html/refman/style.css
/usr/share/doc/coq-doc-html/refman/tactic-index.html
/usr/share/doc/coq-doc-html/refman/toc.html

Changelog

See coq-doc_8.3pl4-1_all.deb changelog.

See Also

Package Description
coq-doc-pdf_8.3pl4-1_all.deb documentation for Coq in pdf format
coq-doc_8.3pl4-1_all.deb documentation for Coq
cpp-4.4-doc_4.4.7-3_all.deb documentation for the GNU C preprocessor (cpp)
cpp-4.6-doc_4.6.3-2_all.deb documentation for the GNU C preprocessor (cpp)
cpp-4.7-doc_4.7.2-2_all.deb documentation for the GNU C preprocessor (cpp)
crafty_23.4-6_amd64.deb state-of-the-art chess engine, compatible with xboard
crash-whitepaper_1.0-1.1_all.deb Whitepaper for crash kernel debugging utility
cufflinks_1.3.0-2_amd64.deb Transcript assembly, differential expression and regulation for RNA-Seq
cuneiform-common_1.1.0+dfsg-4_all.deb multi-language OCR system (common)
cuneiform_1.1.0+dfsg-4_amd64.deb multi-language OCR system
dahdi-firmware-nonfree_2.6.1-1_all.deb DAHDI non-free firmware
doc-rfc-experimental_20120225-2_all.deb Experimental RFCs
doc-rfc-fyi-bcp_20120225-2_all.deb FYI and BCP RFCs
doc-rfc-informational_20120225-2_all.deb Informational RFCs
doc-rfc-misc_20120225-2_all.deb Historic and draft RFCs
Advertisement
Advertisement