» Ubuntu » Paketit » lucid (10.04LTS) » doc » coq-doc
lucid  ] [  precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]
[ Source: coq-doc  ]

Paketti: coq-doc (8.2pl1-1) [multiverse]

Links for coq-doc

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti coq-doc:

Ylläpitäjä:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Samuel Mimram
  • Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

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

Imuroi coq-doc

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