Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq-doc  ]

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

Links for coq-doc

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti coq-doc:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin coq-doc liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi coq-doc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 4.8 kt20.0 kt [tiedostoluettelo]