» Ubuntu » Paketit » precise (12.04LTS) » math » coq
lucid  ] [  precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Source: coq  ]

Paketti: coq (8.3.pl4+dfsg-1) [universe]

Links for coq

Screenshot

Ubuntu-palvelut:

Imuroi lähdekoodipaketti coq:

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)
  • Ralf Treinen
  • Samuel Mimram
  • Stéphane Glondu

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

External Resources:

Samankaltaisia paketteja:

proof assistant for higher-order logic (toplevel and compiler)

Muut pakettiin coq liittyvät paketit

  • depends
  • recommends
  • suggests
  • rec: coqide
    proof assistant for higher-order logic (gtk interface)
    tai proofgeneral
    generic interface for proof assistants - common package
  • sug: coq-doc
    documentation for Coq
  • sug: ledit
    line editor for interactive programs
    tai readline-editor
    näennäispaketti, jonka toteuttaa ledit, rlfe, rlwrap
  • sug: libcoq-ocaml-dev
    development libraries and tools for Coq
  • sug: ocaml-nox
    ML implementation with a class-based object system (no X)
  • sug: proofgeneral
    generic interface for proof assistants - common package
  • sug: why (>= 2.19)
    Software verification tool

Imuroi coq

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 5,432.8 kt18,229.0 kt [tiedostoluettelo]
i386 4,847.2 kt14,875.0 kt [tiedostoluettelo]