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) sid, alle secties, and platform(s) s390x. Found 63 matching packages.
Exacte resultaten
Pakket coq
- sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-3+b2: s390x
Overige resultaten
Pakket coq-doc
- sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-2: all
Pakket coq-doc-html
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
Pakket coq-doc-pdf
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
Pakket coq-dpdgraph-tools
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-2+b3: s390x
Pakket coqide
- sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.19.1+dfsg-3+b2: s390x
Pakket coqprime-tools
- sid (unstable) (ocaml):
Primality certification for Coq (tools)
8.19-2+b2: s390x
Pakket debian-coq-tools
- sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.11: all
Pakket dh-coq
- sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.11: all
Pakket libcoq-aac-tactics
- sid (unstable) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.1-2+b3: s390x
Pakket libcoq-bignums
- sid (unstable) (ocaml):
Coq library for big numbers
9.0.0+coq8.20-1+b3: s390x
Pakket libcoq-coqeal
- sid (unstable) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-2+b4: s390x
Pakket libcoq-coqprime
- sid (unstable) (ocaml):
Primality certification for Coq (library)
8.19-2+b2: s390x
Pakket libcoq-coquelicot
- sid (unstable) (ocaml):
Coq library for real analysis
3.4.1-3+b4: s390x
Pakket libcoq-core-ocaml
- sid (unstable) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-3+b2: s390x
Pakket libcoq-core-ocaml-dev
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-3+b2: s390x
Pakket libcoq-corn
- sid (unstable) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1+b5: s390x
Pakket libcoq-deriving
- sid (unstable) (ocaml):
deriving MathComp classes from inductive types
0.2.0-3+b4: s390x
Pakket libcoq-dpdgraph
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-2+b3: s390x
Pakket libcoq-elpi
- sid (unstable) (ocaml):
Coq plugin embedding Elpi
2.1.0-1+b7: s390x
Pakket libcoq-equations
- sid (unstable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-2+b2: s390x
Pakket libcoq-ext-lib
- sid (unstable) (ocaml):
Collection of theories and plugins for Coq
0.12.1-2+b3: s390x
Pakket libcoq-extructures
- sid (unstable) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-4+b4: s390x
Pakket libcoq-flocq
- sid (unstable) (ocaml):
Floating-point arithmetic for Coq
4.1.4-2+b2: s390x
Pakket libcoq-gappa
- sid (unstable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-2+b2: s390x
Pakket libcoq-hammer
- sid (unstable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-2+b3: s390x
Pakket libcoq-hierarchy-builder
- sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-2+b6: s390x
Pakket libcoq-hott
- sid (unstable) (ocaml):
Coq library for homotopy type theory
8.19-2+b3: s390x
Pakket libcoq-interval
- sid (unstable) (ocaml):
interval arithmetic for Coq
4.11.0-2+b4: s390x
Pakket libcoq-iris
- sid (unstable) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-3+b2: s390x
Pakket libcoq-libhyps
- sid (unstable) (ocaml):
Tactics on hypotheses in Coq
2.0.8-4+b3: s390x
Pakket libcoq-math-classes
- sid (unstable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1+b5: s390x
Pakket libcoq-mathcomp
- sid (unstable) (math):
Mathematical Components library for Coq (all)
2.2.0-2+b5: s390x
Pakket libcoq-mathcomp-algebra
- sid (unstable) (math):
Mathematical Components library for Coq (algebra)
2.2.0-2+b5: s390x
Pakket libcoq-mathcomp-algebra-tactics
- sid (unstable) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-4+b5: s390x
Pakket libcoq-mathcomp-analysis
- sid (unstable) (ocaml):
analysis extension for Mathematical Components
1.2.0-2+b5: s390x
Pakket libcoq-mathcomp-bigenough
- sid (unstable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-14+b5: s390x
Pakket libcoq-mathcomp-character
- sid (unstable) (math):
Mathematical Components library for Coq (character)
2.2.0-2+b5: s390x
Pakket libcoq-mathcomp-classical
- sid (unstable) (ocaml):
classical logic extension for Mathematical Components
1.2.0-2+b5: s390x
Pakket libcoq-mathcomp-field
- sid (unstable) (math):
Mathematical Components library for Coq (field)
2.2.0-2+b5: s390x
Pakket libcoq-mathcomp-fingroup
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-2+b5: s390x
Pakket libcoq-mathcomp-finmap
- sid (unstable) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-2+b5: s390x
Pakket libcoq-mathcomp-multinomials
- sid (unstable) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-3+b5: s390x
Pakket libcoq-mathcomp-real-closed
- sid (unstable) (ocaml):
Real closed fields for Mathematical Components
2.0.0-3+b5: s390x
Pakket libcoq-mathcomp-solvable
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-2+b5: s390x
Pakket libcoq-mathcomp-ssreflect
- sid (unstable) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-2+b5: s390x
Pakket libcoq-mathcomp-zify
- sid (unstable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-3+b5: s390x
Pakket libcoq-menhirlib
- sid (unstable) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-4+b3: s390x
Pakket libcoq-mtac2
- sid (unstable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-2+b2: s390x
Pakket libcoq-ott
- sid (unstable) (ocaml):
Ott tool (Coq plugin)
0.33+ds-4+b2: s390x
Pakket libcoq-paramcoq
- sid (unstable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-2+b2: s390x
Pakket libcoq-quickchick
- sid (unstable) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-3+b5: s390x
Pakket libcoq-record-update
- sid (unstable) (ocaml):
automatic record fields updaters for Coq
0.3.4-3+b3: s390x
Pakket libcoq-reduction-effects
- sid (unstable) (ocaml):
reduction effects for Coq
0.1.5-5+b2: s390x
Pakket libcoq-reglang
- sid (unstable) (ocaml):
representation of regular languages in Coq
1.2.1-4+b4: s390x
Pakket libcoq-relation-algebra
- sid (unstable) (ocaml):
relation algebra for Coq
1.7.10-4+b4: s390x
Pakket libcoq-simple-io
- sid (unstable) (ocaml):
Coq plugin for purely functional IO
1.9.0-2+b2: s390x
Pakket libcoq-stdlib
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.19.1+dfsg-3+b2: s390x
Pakket libcoq-stdpp
- sid (unstable) (ocaml):
Extended standard library for Coq
1.10.0-2+b2: s390x
Pakket libcoq-unicoq
- sid (unstable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-2+b2: s390x
Pakket libcoq-unimath
- sid (unstable) (ocaml):
univalent formalization of mathematics for Coq
20240331-2+b2: s390x
Pakket libssreflect-coq
- sid (unstable):
Virtueel pakket
geboden door: libcoq-mathcomp
Pakket pycoqc
- sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all