Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Search in all suites
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 suite(s) bookworm, all sections, and architecture(s) s390x. Found 59 matching packages.
Exact hits
Package coq
- bookworm (stable) (math):
Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)
8.16.1+dfsg-1+b2: s390x
Other hits
Package coq-doc
- bookworm (stable) (doc):
documentation for Coq [non-free]
8.16.1-1: all
Package coq-doc-html
- bookworm (stable) (doc):
documentation for Coq in html format [non-free]
8.16.1-1: all
Package coq-doc-pdf
- bookworm (stable) (doc):
documentation for Coq in pdf format [non-free]
8.16.1-1: all
Package coq-dpdgraph-tools
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.16-2+b1: s390x
Package coqide
- bookworm (stable) (math):
proof assistant for higher-order logic (gtk interface)
8.16.1+dfsg-1+b2: s390x
Package coqprime-tools
- bookworm (stable) (ocaml):
Primality certification for Coq (tools)
8.15-2+b1: s390x
Package debian-coq-tools
- bookworm (stable) (ocaml):
various tools to manage Coq-related Debian packages
0.5: all
Package dh-coq
- bookworm (stable) (ocaml):
debhelper tool for Coq-related Debian packages
0.5: all
Package libcoq-aac-tactics
- bookworm (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.17.0-1+b2: s390x
Package libcoq-bignums
- bookworm (stable) (ocaml):
Coq library for big numbers
8.17.0-2+b1: s390x
Package libcoq-coqeal
- bookworm (stable) (ocaml):
algebra and data structure algorithms for Coq
1.1.1-3+b1: s390x
Package libcoq-coqprime
- bookworm (stable) (ocaml):
Primality certification for Coq (library)
8.15-2+b1: s390x
Package libcoq-coquelicot
- bookworm (stable) (ocaml):
Coq library for real analysis
3.2.0-8+b1: s390x
Package libcoq-core-ocaml
- bookworm (stable) (ocaml):
runtime libraries for Coq
8.16.1+dfsg-1+b2: s390x
Package libcoq-core-ocaml-dev
- bookworm (stable) (ocaml):
development libraries and tools for Coq
8.16.1+dfsg-1+b2: s390x
Package libcoq-corn
- bookworm (stable) (ocaml):
Coq Constructive Repository at Nijmegen
8.16.0-2+b1: s390x
Package libcoq-deriving
- bookworm (stable) (ocaml):
deriving MathComp classes from inductive types
0.1.0-2+b1: s390x
Package libcoq-dpdgraph
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.16-2+b1: s390x
Package libcoq-equations
- bookworm (stable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.16-2+b1: s390x
Package libcoq-ext-lib
- bookworm (stable) (ocaml):
Collection of theories and plugins for Coq
0.11.7-2+b1: s390x
Package libcoq-extructures
- bookworm (stable) (ocaml):
data structures with extensional reasoning for Coq
0.3.1-3+b1: s390x
Package libcoq-flocq
- bookworm (stable) (ocaml):
Floating-point arithmetic for Coq
4.1.0-3+b1: s390x
Package libcoq-gappa
- bookworm (stable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.2-5+b1: s390x
Package libcoq-hammer
- bookworm (stable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.16-2+b1: s390x
Package libcoq-hott
- bookworm (stable) (ocaml):
Coq library for homotopy type theory
8.16-2+b1: s390x
Package libcoq-interval
- bookworm (stable) (ocaml):
interval arithmetic for Coq
4.6.1-2+b1: s390x
Package libcoq-iris
- bookworm (stable) (ocaml):
high-order concurrent separation logic framework for Coq
4.0.0-3+b1: s390x
Package libcoq-libhyps
- bookworm (stable) (ocaml):
Tactics on hypotheses in Coq
2.0.6-2+b1: s390x
Package libcoq-math-classes
- bookworm (stable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.15.0-4+b1: s390x
Package libcoq-mathcomp
- bookworm (stable) (math):
Mathematical Components library for Coq (all)
1.15.0-1+b4: s390x
Package libcoq-mathcomp-abel
- bookworm (stable) (ocaml):
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
1.2.1-1+b3: s390x
Package libcoq-mathcomp-algebra
- bookworm (stable) (math):
Mathematical Components library for Coq (algebra)
1.15.0-1+b4: s390x
Package libcoq-mathcomp-bigenough
- bookworm (stable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-8+b4: s390x
Package libcoq-mathcomp-character
- bookworm (stable) (math):
Mathematical Components library for Coq (character)
1.15.0-1+b4: s390x
Package libcoq-mathcomp-field
- bookworm (stable) (math):
Mathematical Components library for Coq (field)
1.15.0-1+b4: s390x
Package libcoq-mathcomp-fingroup
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups)
1.15.0-1+b4: s390x
Package libcoq-mathcomp-finmap
- bookworm (stable) (ocaml):
finite sets and maps extension for Mathematical Components
1.5.2-1+b4: s390x
Package libcoq-mathcomp-multinomials
- bookworm (stable) (ocaml):
Multivariate polynomials for Mathematical Components
1.5.5-8+b5: s390x
Package libcoq-mathcomp-real-closed
- bookworm (stable) (ocaml):
Real closed fields for Mathematical Components
1.1.3-1+b4: s390x
Package libcoq-mathcomp-solvable
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups II)
1.15.0-1+b4: s390x
Package libcoq-mathcomp-ssreflect
- bookworm (stable) (math):
Mathematical Components library for Coq (small scale reflection)
1.15.0-1+b4: s390x
Package libcoq-mathcomp-zify
- bookworm (stable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.2.0+1.12+8.13-6+b4: s390x
Package libcoq-menhirlib
- bookworm (stable) (ocaml):
support library for Coq-verified Menhir parsers
20220210+ds-4+b1: s390x
Package libcoq-mtac2
- bookworm (stable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.16-2+b1: s390x
Package libcoq-ott
- bookworm (stable) (ocaml):
Ott tool (Coq plugin)
0.32+ds-3+b1: s390x
Package libcoq-paramcoq
- bookworm (stable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.16-3+b1: s390x
Package libcoq-quickchick
- bookworm (stable) (ocaml):
randomized testing framework for Coq (plugin)
1.6.4-3+b1: s390x
Package libcoq-record-update
- bookworm (stable) (ocaml):
automatic record fields updaters for Coq
0.3.1-2+b1: s390x
Package libcoq-reduction-effects
- bookworm (stable) (ocaml):
reduction effects for Coq
0.1.4-3+b1: s390x
Package libcoq-reglang
- bookworm (stable) (ocaml):
representation of regular languages in Coq
1.1.3-2+b1: s390x
Package libcoq-relation-algebra
- bookworm (stable) (ocaml):
relation algebra for Coq
1.7.8-2+b1: s390x
Package libcoq-simple-io
- bookworm (stable) (ocaml):
Coq plugin for purely functional IO
1.8.0-2+b1: s390x
Package libcoq-stdlib
- bookworm (stable) (math):
proof assistant for higher-order logic (theories)
8.16.1+dfsg-1+b2: s390x
Package libcoq-stdpp
- bookworm (stable) (ocaml):
Extended standard library for Coq
1.8.0-3+b1: s390x
Package libcoq-unicoq
- bookworm (stable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.16-2+b1: s390x
Package libcoq-unimath
- bookworm (stable) (ocaml):
univalent formalization of mathematics for Coq
20220816-2+b1: s390x
Package libssreflect-coq
- bookworm (stable):
Віртуальний пакунок
provided by: libcoq-mathcomp
Package pycoqc
- bookworm (stable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all