You have searched for packages that names contain coq in all suites, all sections, and all architectures. Found 14 matching packages.

Exact hits

Package coq

• hardy (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
  8.1.pl3+dfsg-1: amd64 i386
• lucid (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
  8.2.pl1+dfsg-6: amd64 i386
• natty (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
  8.2.pl2+dfsg-1ubuntu1: amd64 i386
• oneiric (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
  8.3.pl2+dfsg-1build1: amd64 i386
• precise (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
  8.3.pl4+dfsg-1: amd64 i386
• quantal (math): proof assistant for higher-order logic (toplevel and compiler) [universe]
  8.3.pl4+dfsg-1build1: amd64 i386

Other hits

Package coq-doc

• hardy (doc): Documentation for Coq [universe]
  8.0pl1.0-1: all
• lucid (doc): documentation for Coq [multiverse]
  8.2pl1-1: all
• natty (doc): documentation for Coq [multiverse]
  8.2pl1-1: all
• oneiric (doc): documentation for Coq [multiverse]
  8.3pl2-1: all
• precise (doc): documentation for Coq [multiverse]
  8.3pl2-1build1: all
• quantal (doc): documentation for Coq [multiverse]
  8.3pl4-1: all

Package coq-doc-html

• lucid (doc): documentation for Coq in html format [multiverse]
  8.2pl1-1: all
• natty (doc): documentation for Coq in html format [multiverse]
  8.2pl1-1: all
• oneiric (doc): documentation for Coq in html format [multiverse]
  8.3pl2-1: all
• precise (doc): documentation for Coq in html format [multiverse]
  8.3pl2-1build1: all
• quantal (doc): documentation for Coq in html format [multiverse]
  8.3pl4-1: all

Package coq-doc-pdf

• lucid (doc): documentation for Coq in pdf format [multiverse]
  8.2pl1-1: all
• natty (doc): documentation for Coq in pdf format [multiverse]
  8.2pl1-1: all
• oneiric (doc): documentation for Coq in pdf format [multiverse]
  8.3pl2-1: all
• precise (doc): documentation for Coq in pdf format [multiverse]
  8.3pl2-1build1: all
• quantal (doc): documentation for Coq in pdf format [multiverse]
  8.3pl4-1: all

Package coq-libs

• hardy (math): proof assistant for higher-order logic (theories) [universe]
  8.1.pl3+dfsg-1: all

Package coq-theories

• lucid (math): proof assistant for higher-order logic (theories) [universe]
  8.2.pl1+dfsg-6: all
• natty (math): proof assistant for higher-order logic (theories) [universe]
  8.2.pl2+dfsg-1ubuntu1: all
• oneiric (math): proof assistant for higher-order logic (theories) [universe]
  8.3.pl2+dfsg-1build1: all
• precise (math): proof assistant for higher-order logic (theories) [universe]
  8.3.pl4+dfsg-1: all
• quantal (math): proof assistant for higher-order logic (theories) [universe]
  8.3.pl4+dfsg-1build1: all

Package coqide

• hardy (math): proof assistant for higher-order logic (gtk interface) [universe]
  8.1.pl3+dfsg-1: amd64 i386
• lucid (math): proof assistant for higher-order logic (gtk interface) [universe]
  8.2.pl1+dfsg-6: amd64 i386
• natty (math): proof assistant for higher-order logic (gtk interface) [universe]
  8.2.pl2+dfsg-1ubuntu1: amd64 i386
• oneiric (math): proof assistant for higher-order logic (gtk interface) [universe]
  8.3.pl2+dfsg-1build1: amd64 i386
• precise (math): proof assistant for higher-order logic (gtk interface) [universe]
  8.3.pl4+dfsg-1: amd64 i386
• quantal (math): proof assistant for higher-order logic (gtk interface) [universe]
  8.3.pl4+dfsg-1build1: amd64 i386

Package libaac-tactics-coq

• oneiric (math): Coq tactics for reasoning modulo AC (theories) [universe]
  0.2.pl2-2build1: all
• precise (math): Coq tactics for reasoning modulo AC (theories) [universe]
  0.2.pl2-4build1: all
• quantal (math): Coq tactics for reasoning modulo AC (theories) [universe]
  0.2.pl2-6: all

Package libcoq-ocaml

• oneiric (ocaml): runtime libraries for Coq [universe]
  8.3.pl2+dfsg-1build1: amd64 i386
• precise (ocaml): runtime libraries for Coq [universe]
  8.3.pl4+dfsg-1: amd64 i386
• quantal (ocaml): runtime libraries for Coq [universe]
  8.3.pl4+dfsg-1build1: amd64 i386

Package libcoq-ocaml-dev

• lucid (libdevel): development libraries and tools for Coq [universe]
  8.2.pl1+dfsg-6: amd64 i386
• natty (libdevel): development libraries and tools for Coq [universe]
  8.2.pl2+dfsg-1ubuntu1: amd64 i386
• oneiric (libdevel): development libraries and tools for Coq [universe]
  8.3.pl2+dfsg-1build1: amd64 i386
• precise (libdevel): development libraries and tools for Coq [universe]
  8.3.pl4+dfsg-1: amd64 i386
• quantal (libdevel): development libraries and tools for Coq [universe]
  8.3.pl4+dfsg-1build1: amd64 i386

Package libfloat-coq

• hardy (libdevel): coq library for floating point numbers [universe]
  1:8.1-1.0-3: all
• lucid (libdevel): Coq library on floating-point arithmetic [universe]
  1:8.2-1.2-4: all
• natty (libdevel): Coq library on floating-point arithmetic [universe]
  1:8.2-1.2-5: all
• oneiric (libdevel): Coq library on floating-point arithmetic [universe]
  1:8.2-1.2-7: all
• precise (libdevel): Coq library on floating-point arithmetic [universe]
  1:8.2-1.2-9: all
• quantal (libdevel): Coq library on floating-point arithmetic [universe]
  1:8.3pl1-3: all

Package libssreflect-coq

• lucid (math): small scale reflection library for Coq (theories) [universe]
  1.2+dfsg-3build1: all
• natty (math): small scale reflection library for Coq (theories) [universe]
  1.2+dfsg-6: all
• oneiric (math): small scale reflection library for Coq (theories) [universe]
  1.3pl1-4build1: all
• precise (math): small scale reflection library for Coq (theories) [universe]
  1.3pl2-2build1: all
• quantal (math): small scale reflection library for Coq (theories) [universe]
  1.3pl2-4: all

Package libwhy-coq

• lucid (libdevel): Why library for Coq [universe]
  2.23+dfsg-2: all
• natty (libdevel): Why library for Coq [universe]
  2.26+dfsg-2: all
• oneiric (libdevel): Why library for Coq [universe]
  2.29+dfsg-3: all
• precise (libdevel): Why library for Coq [universe]
  2.30+dfsg-3: all
• quantal (libdevel): Why library for Coq [universe]
  2.30+dfsg-5: all

Package proofgeneral-coq

• hardy (editors): ProofGeneral support for coq [universe]
  3.5-6: all
• lucid (editors): generic interface for proof assistants - coq support [universe]
  3.7-3.1: all
• natty (editors): generic interface for proof assistants - coq support [universe]
  3.7-4: all
• oneiric (editors): generic interface for proof assistants - coq support [universe]
  3.7-4: all
• precise (editors): generic interface for proof assistants - coq support [universe]
  3.7-4: all
• quantal (editors): generic interface for proof assistants - coq support [universe]
  3.7-4: all