Search in specific suite: [dapper] [dapper-updates] [dapper-backports] [feisty] [feisty-updates] [feisty-backports] [gutsy] [gutsy-updates] [gutsy-backports] [hardy] [hardy-updates] [hardy-backports] [intrepid]
Limit search to a specific architecture: [i386] [amd64] [powerpc]
You have searched for packages that names contain coq in all suites, all sections, and all architectures. Found 7 matching packages.
Exact hits
Package coq
- dapper (devel):
proof assistant for higher-order logic (toplevel and compiler) [universe]
8.0pl2-4: amd64 i386 powerpc - feisty (math):
proof assistant for higher-order logic (toplevel and compiler) [universe]
8.0pl3-2ubuntu1: amd64 i386 powerpc - gutsy (math):
proof assistant for higher-order logic (toplevel and compiler) [universe]
8.1+dfsg-6: amd64 i386 powerpc - hardy (math):
proof assistant for higher-order logic (toplevel and compiler) [universe]
8.1.pl3+dfsg-1: amd64 i386 - intrepid (math):
proof assistant for higher-order logic (toplevel and compiler) [universe]
8.1.pl3+dfsg-1build1: amd64 i386
Other hits
Package coq-doc
- dapper (doc):
Documentation for Coq [universe]
8.0pl1.0-1: all - feisty (doc):
Documentation for Coq [universe]
8.0pl1.0-1: all - gutsy (doc):
Documentation for Coq [universe]
8.0pl1.0-1: all - hardy (doc):
Documentation for Coq [universe]
8.0pl1.0-1: all - intrepid (doc):
Documentation for Coq [multiverse]
8.0pl1.0-1: all
Package coq-libs
- dapper (math):
proof assistant for higher-order logic (theories) [universe]
8.0pl2-4: all - feisty (math):
proof assistant for higher-order logic (theories) [universe]
8.0pl3-2ubuntu1: all - gutsy (math):
proof assistant for higher-order logic (theories) [universe]
8.1+dfsg-6: all - hardy (math):
proof assistant for higher-order logic (theories) [universe]
8.1.pl3+dfsg-1: all - intrepid (math):
proof assistant for higher-order logic (theories) [universe]
8.1.pl3+dfsg-1build1: all
Package coq7-libs
- dapper (math):
proof assistant for higher-order logic (Coq 7 theories) [universe]
8.0pl2-4: all - feisty (math):
proof assistant for higher-order logic (Coq 7 theories) [universe]
8.0pl3-2ubuntu1: all
Package coqide
- dapper (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.0pl2-4: amd64 i386 powerpc - feisty (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.0pl3-2ubuntu1: amd64 i386 powerpc - gutsy (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.1+dfsg-6: amd64 i386 powerpc - hardy (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.1.pl3+dfsg-1: amd64 i386 - intrepid (math):
proof assistant for higher-order logic (gtk interface) [universe]
8.1.pl3+dfsg-1build1: amd64 i386
Package libfloat-coq
- hardy (libdevel):
coq library for floating point numbers [universe]
1:8.1-1.0-3: all - intrepid (libdevel):
coq library for floating point numbers [universe]
1:8.1-1.0-4: all
Package proofgeneral-coq
- dapper (editors):
ProofGeneral support for coq [universe]
3.5-3: all - feisty (editors):
ProofGeneral support for coq [universe]
3.5-4.1: all - gutsy (editors):
ProofGeneral support for coq [universe]
3.5-4.1: all - hardy (editors):
ProofGeneral support for coq [universe]
3.5-6: all - intrepid (editors):
generic interface for proof assistants - coq support [universe]
3.7-3build1: all