Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Zoek in alle 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]
Zoek in alle platforms
Some results have not been displayed due to the search parameters.
You have searched for pakketten that names contain coq in suite(s) bookworm, alle secties, and platform(s) ppc64el. Found 64 matching packages.
Exacte resultaten
Pakket coq
- bookworm (stable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.16.1+dfsg-1+b2: ppc64el
Overige resultaten
Pakket coq-doc
- bookworm (stable) (doc):
documentation for Coq [non-free]
8.16.1-1: all
Pakket coq-doc-html
- bookworm (stable) (doc):
documentation for Coq in html format [non-free]
8.16.1-1: all
Pakket coq-doc-pdf
- bookworm (stable) (doc):
documentation for Coq in pdf format [non-free]
8.16.1-1: all
Pakket coq-dpdgraph-tools
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.16-2+b1: ppc64el
Pakket coq-hierarchy-builder
- bookworm (stable) (ocaml):
build hierarchies of algebraic structures in Coq (tool)
1.4.0-2+b6: ppc64el
Pakket coqide
- bookworm (stable) (math):
proof assistant for higher-order logic (gtk interface)
8.16.1+dfsg-1+b2: ppc64el
Pakket coqprime-tools
- bookworm (stable) (ocaml):
Primality certification for Coq (tools)
8.15-2+b1: ppc64el
Pakket debian-coq-tools
- bookworm (stable) (ocaml):
various tools to manage Coq-related Debian packages
0.5: all
Pakket dh-coq
- bookworm (stable) (ocaml):
debhelper tool for Coq-related Debian packages
0.5: all
Pakket libcoq-aac-tactics
- bookworm (stable) (math):
Coq tactics for reasoning modulo AC (theories)
8.17.0-1+b2: ppc64el
Pakket libcoq-bignums
- bookworm (stable) (ocaml):
Coq library for big numbers
8.17.0-2+b1: ppc64el
Pakket libcoq-coqeal
- bookworm (stable) (ocaml):
algebra and data structure algorithms for Coq
1.1.1-3+b1: ppc64el
Pakket libcoq-coqprime
- bookworm (stable) (ocaml):
Primality certification for Coq (library)
8.15-2+b1: ppc64el
Pakket libcoq-coquelicot
- bookworm (stable) (ocaml):
Coq library for real analysis
3.2.0-8+b1: ppc64el
Pakket libcoq-core-ocaml
- bookworm (stable) (ocaml):
runtime libraries for Coq
8.16.1+dfsg-1+b2: ppc64el
Pakket libcoq-core-ocaml-dev
- bookworm (stable) (ocaml):
development libraries and tools for Coq
8.16.1+dfsg-1+b2: ppc64el
Pakket libcoq-corn
- bookworm (stable) (ocaml):
Coq Constructive Repository at Nijmegen
8.16.0-2+b1: ppc64el
Pakket libcoq-deriving
- bookworm (stable) (ocaml):
deriving MathComp classes from inductive types
0.1.0-2+b1: ppc64el
Pakket libcoq-dpdgraph
- bookworm (stable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.16-2+b1: ppc64el
Pakket libcoq-elpi
- bookworm (stable) (ocaml):
Coq plugin embedding Elpi
1.16.0-2+b1: ppc64el
Pakket libcoq-equations
- bookworm (stable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.16-2+b1: ppc64el
Pakket libcoq-ext-lib
- bookworm (stable) (ocaml):
Collection of theories and plugins for Coq
0.11.7-2+b1: ppc64el
Pakket libcoq-extructures
- bookworm (stable) (ocaml):
data structures with extensional reasoning for Coq
0.3.1-3+b1: ppc64el
Pakket libcoq-flocq
- bookworm (stable) (ocaml):
Floating-point arithmetic for Coq
4.1.0-3+b1: ppc64el
Pakket libcoq-gappa
- bookworm (stable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.2-5+b1: ppc64el
Pakket libcoq-hammer
- bookworm (stable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.16-2+b1: ppc64el
Pakket libcoq-hierarchy-builder
- bookworm (stable) (ocaml):
build hierarchies of algebraic structures in Coq (runtime files)
1.4.0-2+b6: ppc64el
Pakket libcoq-hott
- bookworm (stable) (ocaml):
Coq library for homotopy type theory
8.16-2+b1: ppc64el
Pakket libcoq-interval
- bookworm (stable) (ocaml):
interval arithmetic for Coq
4.6.1-2+b1: ppc64el
Pakket libcoq-iris
- bookworm (stable) (ocaml):
high-order concurrent separation logic framework for Coq
4.0.0-3+b1: ppc64el
Pakket libcoq-libhyps
- bookworm (stable) (ocaml):
Tactics on hypotheses in Coq
2.0.6-2+b1: ppc64el
Pakket libcoq-math-classes
- bookworm (stable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.15.0-4+b1: ppc64el
Pakket libcoq-mathcomp
- bookworm (stable) (math):
Mathematical Components library for Coq (all)
1.15.0-1+b4: ppc64el
Pakket libcoq-mathcomp-abel
- bookworm (stable) (ocaml):
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
1.2.1-1+b3: ppc64el
Pakket libcoq-mathcomp-algebra
- bookworm (stable) (math):
Mathematical Components library for Coq (algebra)
1.15.0-1+b4: ppc64el
Pakket libcoq-mathcomp-algebra-tactics
- bookworm (stable) (ocaml):
Ring and field tactics for Mathematical Components
1.0.0-8+b6: ppc64el
Pakket libcoq-mathcomp-analysis
- bookworm (stable) (ocaml):
analysis extension for Mathematical Components
0.6.0-2+b1: ppc64el
Pakket libcoq-mathcomp-bigenough
- bookworm (stable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-8+b4: ppc64el
Pakket libcoq-mathcomp-character
- bookworm (stable) (math):
Mathematical Components library for Coq (character)
1.15.0-1+b4: ppc64el
Pakket libcoq-mathcomp-field
- bookworm (stable) (math):
Mathematical Components library for Coq (field)
1.15.0-1+b4: ppc64el
Pakket libcoq-mathcomp-fingroup
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups)
1.15.0-1+b4: ppc64el
Pakket libcoq-mathcomp-finmap
- bookworm (stable) (ocaml):
finite sets and maps extension for Mathematical Components
1.5.2-1+b4: ppc64el
Pakket libcoq-mathcomp-multinomials
- bookworm (stable) (ocaml):
Multivariate polynomials for Mathematical Components
1.5.5-8+b5: ppc64el
Pakket libcoq-mathcomp-real-closed
- bookworm (stable) (ocaml):
Real closed fields for Mathematical Components
1.1.3-1+b4: ppc64el
Pakket libcoq-mathcomp-solvable
- bookworm (stable) (math):
Mathematical Components library for Coq (finite groups II)
1.15.0-1+b4: ppc64el
Pakket libcoq-mathcomp-ssreflect
- bookworm (stable) (math):
Mathematical Components library for Coq (small scale reflection)
1.15.0-1+b4: ppc64el
Pakket libcoq-mathcomp-zify
- bookworm (stable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.2.0+1.12+8.13-6+b4: ppc64el
Pakket libcoq-menhirlib
- bookworm (stable) (ocaml):
support library for Coq-verified Menhir parsers
20220210+ds-4+b1: ppc64el
Pakket libcoq-mtac2
- bookworm (stable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.16-2+b1: ppc64el
Pakket libcoq-ott
- bookworm (stable) (ocaml):
Ott tool (Coq plugin)
0.32+ds-3+b1: ppc64el
Pakket libcoq-paramcoq
- bookworm (stable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.16-3+b1: ppc64el
Pakket libcoq-quickchick
- bookworm (stable) (ocaml):
randomized testing framework for Coq (plugin)
1.6.4-3+b1: ppc64el
Pakket libcoq-record-update
- bookworm (stable) (ocaml):
automatic record fields updaters for Coq
0.3.1-2+b1: ppc64el
Pakket libcoq-reduction-effects
- bookworm (stable) (ocaml):
reduction effects for Coq
0.1.4-3+b1: ppc64el
Pakket libcoq-reglang
- bookworm (stable) (ocaml):
representation of regular languages in Coq
1.1.3-2+b1: ppc64el
Pakket libcoq-relation-algebra
- bookworm (stable) (ocaml):
relation algebra for Coq
1.7.8-2+b1: ppc64el
Pakket libcoq-simple-io
- bookworm (stable) (ocaml):
Coq plugin for purely functional IO
1.8.0-2+b1: ppc64el
Pakket libcoq-stdlib
- bookworm (stable) (math):
proof assistant for higher-order logic (theories)
8.16.1+dfsg-1+b2: ppc64el
Pakket libcoq-stdpp
- bookworm (stable) (ocaml):
Extended standard library for Coq
1.8.0-3+b1: ppc64el
Pakket libcoq-unicoq
- bookworm (stable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.16-2+b1: ppc64el
Pakket libcoq-unimath
- bookworm (stable) (ocaml):
univalent formalization of mathematics for Coq
20220816-2+b1: ppc64el
Pakket libssreflect-coq
- bookworm (stable):
Virtueel pakket
geboden door: libcoq-mathcomp
Pakket pycoqc
- bookworm (stable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all