DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamecoq-doc-html
Beschreibungdocumentation for Coq in html format
Archiv/RepositoryOffizielles Ubuntu Archiv lucid (multiverse)
Version8.2pl1-1
Sektionmultiverse/doc
Prioritätoptional
Installierte Größe2552 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecoq-doc
Paketgröße530382 Byte
Prüfsumme MD5a27fb7b7e459de484a63c317aa30fc16
Prüfsumme SHA1b791cbaee57ad5b26e16bb56297cb2f275cdcf55
Prüfsumme SHA256f715babba9b62c2596d5f1532d61e43b92ad771b3066268b1bc2452e93630028
Link zum Herunterladencoq-doc-html_8.2pl1-1_all.deb
Ausführliche BeschreibungCoq 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.


Impressum
Linux is a registered trademark of Linus Torvalds