Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limit to a architecture: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Search in all architectures
Some results have not been displayed due to the search parameters.
You have searched for packages that names contain coq in all suites, all sections, and architecture(s) armhf. Found 63 matching packages.
Exact hits
Package coq
- buster (oldoldstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.9.0-1: armhf - bullseye (oldstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.12.0-3+b3: armhf - bookworm (stable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.16.1+dfsg-1+b2: armhf
Other hits
Package coq-doc
- bookworm (stable) (doc):
documentation for Coq [non-free]
8.16.1-1: all - trixie (testing) (doc):
documentation for Coq [non-free]
8.19.1-2: all - sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-2: all
Package coq-doc-html
- bookworm (stable) (doc):
documentation for Coq in html format [non-free]
8.16.1-1: all - trixie (testing) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all - sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
Package coq-doc-pdf
- bookworm (stable) (doc):
documentation for Coq in pdf format [non-free]
8.16.1-1: all - trixie (testing) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all - sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
Package coq-dpdgraph-tools
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.16-2+b1: armhf
Package coq-theories
- buster (oldoldstable) (math):
proof assistant for higher-order logic (theories)
8.9.0-1: armhf - bullseye (oldstable) (math):
proof assistant for higher-order logic (theories)
8.12.0-3+b3: armhf
Package coqide
- bullseye (oldstable) (math):
proof assistant for higher-order logic (gtk interface)
8.12.0-3+b3: armhf - bookworm (stable) (math):
proof assistant for higher-order logic (gtk interface)
8.16.1+dfsg-1+b2: armhf
Package coqprime-tools
- bookworm (stable) (ocaml):
Primality certification for Coq (tools)
8.15-2+b1: armhf
Package debian-coq-tools
- bookworm (stable) (ocaml):
various tools to manage Coq-related Debian packages
0.5: all - trixie (testing) (ocaml):
various tools to manage Coq-related Debian packages
0.11: all - sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.11: all
Package dh-coq
- bookworm (stable) (ocaml):
debhelper tool for Coq-related Debian packages
0.5: all - trixie (testing) (ocaml):
debhelper tool for Coq-related Debian packages
0.11: all - sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.11: all
Package libcoq-aac-tactics
- bookworm (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.17.0-1+b2: armhf
Package libcoq-bignums
- bookworm (stable) (ocaml):
Coq library for big numbers
8.17.0-2+b1: armhf
Package libcoq-coqeal
- bookworm (stable) (ocaml):
algebra and data structure algorithms for Coq
1.1.1-3+b1: armhf
Package libcoq-coqprime
- bookworm (stable) (ocaml):
Primality certification for Coq (library)
8.15-2+b1: armhf
Package libcoq-coquelicot
- bookworm (stable) (ocaml):
Coq library for real analysis
3.2.0-8+b1: armhf
Package libcoq-core-ocaml
- bookworm (stable) (ocaml):
runtime libraries for Coq
8.16.1+dfsg-1+b2: armhf
Package libcoq-core-ocaml-dev
- bookworm (stable) (ocaml):
development libraries and tools for Coq
8.16.1+dfsg-1+b2: armhf
Package libcoq-corn
- bookworm (stable) (ocaml):
Coq Constructive Repository at Nijmegen
8.16.0-2+b1: armhf
Package libcoq-deriving
- bookworm (stable) (ocaml):
deriving MathComp classes from inductive types
0.1.0-2+b1: armhf
Package libcoq-dpdgraph
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.16-2+b1: armhf
Package libcoq-equations
- bookworm (stable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.16-2+b1: armhf
Package libcoq-ext-lib
- bookworm (stable) (ocaml):
Collection of theories and plugins for Coq
0.11.7-2+b1: armhf
Package libcoq-extructures
- bookworm (stable) (ocaml):
data structures with extensional reasoning for Coq
0.3.1-3+b1: armhf
Package libcoq-flocq
- bookworm (stable) (ocaml):
Floating-point arithmetic for Coq
4.1.0-3+b1: armhf
Package libcoq-gappa
- bookworm (stable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.2-5+b1: armhf
Package libcoq-hammer
- bookworm (stable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.16-2+b1: armhf
Package libcoq-hott
- bookworm (stable) (ocaml):
Coq library for homotopy type theory
8.16-2+b1: armhf
Package libcoq-interval
- bookworm (stable) (ocaml):
interval arithmetic for Coq
4.6.1-2+b1: armhf
Package libcoq-iris
- bookworm (stable) (ocaml):
high-order concurrent separation logic framework for Coq
4.0.0-3+b1: armhf
Package libcoq-libhyps
- bookworm (stable) (ocaml):
Tactics on hypotheses in Coq
2.0.6-2+b1: armhf
Package libcoq-math-classes
- bookworm (stable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.15.0-4+b1: armhf
Package libcoq-mathcomp
- bookworm (stable) (math):
Mathematical Components library for Coq (all)
1.15.0-1+b4: armhf
Package libcoq-mathcomp-abel
- bookworm (stable) (ocaml):
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
1.2.1-1+b3: armhf
Package libcoq-mathcomp-algebra
- bookworm (stable) (math):
Mathematical Components library for Coq (algebra)
1.15.0-1+b4: armhf
Package libcoq-mathcomp-bigenough
- bookworm (stable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-8+b4: armhf
Package libcoq-mathcomp-character
- bookworm (stable) (math):
Mathematical Components library for Coq (character)
1.15.0-1+b4: armhf
Package libcoq-mathcomp-field
- bookworm (stable) (math):
Mathematical Components library for Coq (field)
1.15.0-1+b4: armhf
Package libcoq-mathcomp-fingroup
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups)
1.15.0-1+b4: armhf
Package libcoq-mathcomp-finmap
- bookworm (stable) (ocaml):
finite sets and maps extension for Mathematical Components
1.5.2-1+b4: armhf
Package libcoq-mathcomp-multinomials
- bookworm (stable) (ocaml):
Multivariate polynomials for Mathematical Components
1.5.5-8+b5: armhf
Package libcoq-mathcomp-real-closed
- bookworm (stable) (ocaml):
Real closed fields for Mathematical Components
1.1.3-1+b4: armhf
Package libcoq-mathcomp-solvable
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups II)
1.15.0-1+b4: armhf
Package libcoq-mathcomp-ssreflect
- bookworm (stable) (math):
Mathematical Components library for Coq (small scale reflection)
1.15.0-1+b4: armhf
Package libcoq-mathcomp-zify
- bookworm (stable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.2.0+1.12+8.13-6+b4: armhf
Package libcoq-menhirlib
- bookworm (stable) (ocaml):
support library for Coq-verified Menhir parsers
20220210+ds-4+b1: armhf
Package libcoq-mtac2
- bookworm (stable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.16-2+b1: armhf
Package libcoq-ocaml
- buster (oldoldstable) (ocaml):
runtime libraries for Coq
8.9.0-1: armhf - bullseye (oldstable) (ocaml):
runtime libraries for Coq
8.12.0-3+b3: armhf
Package libcoq-ocaml-dev
- buster (oldoldstable) (ocaml):
development libraries and tools for Coq
8.9.0-1: armhf - bullseye (oldstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3: armhf
Package libcoq-ott
- bookworm (stable) (ocaml):
Ott tool (Coq plugin)
0.32+ds-3+b1: armhf
Package libcoq-paramcoq
- bookworm (stable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.16-3+b1: armhf
Package libcoq-quickchick
- bookworm (stable) (ocaml):
randomized testing framework for Coq (plugin)
1.6.4-3+b1: armhf
Package libcoq-record-update
- bookworm (stable) (ocaml):
automatic record fields updaters for Coq
0.3.1-2+b1: armhf
Package libcoq-reduction-effects
- bookworm (stable) (ocaml):
reduction effects for Coq
0.1.4-3+b1: armhf
Package libcoq-reglang
- bookworm (stable) (ocaml):
representation of regular languages in Coq
1.1.3-2+b1: armhf
Package libcoq-relation-algebra
- bookworm (stable) (ocaml):
relation algebra for Coq
1.7.8-2+b1: armhf
Package libcoq-simple-io
- bookworm (stable) (ocaml):
Coq plugin for purely functional IO
1.8.0-2+b1: armhf
Package libcoq-stdlib
- bookworm (stable) (math):
proof assistant for higher-order logic (theories)
8.16.1+dfsg-1+b2: armhf
Package libcoq-stdpp
- bookworm (stable) (ocaml):
Extended standard library for Coq
1.8.0-3+b1: armhf
Package libcoq-unicoq
- bookworm (stable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.16-2+b1: armhf
Package libcoq-unimath
- bookworm (stable) (ocaml):
univalent formalization of mathematics for Coq
20220816-2+b1: armhf
Package libssreflect-coq
- bullseye (oldstable) (math):
Mathematical Components library for Coq
1.12.0-1: all - bookworm (stable):
Virtual package
provided by: libcoq-mathcomp - trixie (testing):
Virtual package
provided by: libcoq-mathcomp - sid (unstable):
Virtual package
provided by: libcoq-mathcomp
Package pycoqc
- bullseye (oldstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-1: all - bookworm (stable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all - trixie (testing) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all - sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all
Package why3-coq
- buster (oldoldstable) (math):
Coq support for the why3 verification platform
1.2.0-1: armhf - bullseye (oldstable) (math):
Coq support for the why3 verification platform
1.3.3-1+b4: armhf