Paketti: coq-doc (8.16.1-1) [non-free]

[ Source: coq-doc  ]

documentation for Coq

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 is a dummy package which will install the documentation in html and pdf formats.

Tagit: Software Development: Käyttöohjeet, Made Of: HTML, Hypertext Markup Language, Role: Käyttöohjeet, Metapackage

Muut pakettiin coq-doc liittyvät paketit

• dep: coq-doc-html (>= 8.16.1-1)

  documentation for Coq in html format

• dep: coq-doc-pdf (>= 8.16.1-1)

  documentation for Coq in pdf format

Imuroi coq-doc

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	4.8 kt	20.0 kt	[tiedostoluettelo]