wszystkie opcje
jessie  ] [  stretch  ] [  sid  ]
[ Pakiet źródłowy: coq-doc  ]

Pakiet: coq-doc-html (8.4pl4-1) [non-free]

Odnośniki dla coq-doc-html

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-doc:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

documentation for Coq in html format

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.

Znaczniki: Rozwój oprogramowania: Dokumentacja, Stworzone z: HTML - Hypertext Markup Language, Rola: Dokumentacja

Pobieranie coq-doc-html

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 462,7 KiB4 878,0 KiB [lista plików]