Şu takıma sınırla: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Tüm takımlarda ara
Mimariye sınırla: [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]
Tüm mimarilerde ara
Bazı sonuçlar arama parametrelerinden dolayı görüntülenemedi.
sid takımı takımının tüm bölümler bölümlerinde ve mimari(ler) amd64 mimarilerinde, coq sözünü barındıran paketler aradınız 66 eşleşen paket bulundu.
Tam eşleşmeler
coq Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.19.1+dfsg-2: amd64
Diğer eşleşmeler
coq-doc Paketi
- sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-2: all
coq-doc-html Paketi
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
coq-doc-pdf Paketi
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
coq-dpdgraph-tools Paketi
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-1+b1: amd64
coq-serapi Paketi
- sid (unstable) (ocaml):
interaction with Coq (utils)
8.19.0+0.19.3-3: amd64
coqide Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.19.1+dfsg-2: amd64
coqprime-tools Paketi
- sid (unstable) (ocaml):
Primality certification for Coq (tools)
8.19-1+b2: amd64
debian-coq-tools Paketi
- sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.9: all
dh-coq Paketi
- sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.9: all
libcoq-aac-tactics Paketi
- sid (unstable) (math):
Coq tactics for reasoning modulo AC (theories)
8.19.1-1+b1: amd64
libcoq-bignums Paketi
- sid (unstable) (ocaml):
Coq library for big numbers
9.0.0+coq8.20-1: amd64
libcoq-coqeal Paketi
- sid (unstable) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-1+b3: amd64
libcoq-coqprime Paketi
- sid (unstable) (ocaml):
Primality certification for Coq (library)
8.19-1+b2: amd64
libcoq-coquelicot Paketi
- sid (unstable) (ocaml):
Coq library for real analysis
3.4.1-2+b2: amd64
libcoq-core-ocaml Paketi
- sid (unstable) (ocaml):
runtime libraries for Coq
8.19.1+dfsg-2: amd64
libcoq-core-ocaml-dev Paketi
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-2: amd64
libcoq-corn Paketi
- sid (unstable) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1+b2: amd64
libcoq-deriving Paketi
- sid (unstable) (ocaml):
deriving MathComp classes from inductive types
0.2.0-2+b2: amd64
libcoq-dpdgraph Paketi
- sid (unstable) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-1+b1: amd64
libcoq-elpi Paketi
- sid (unstable) (ocaml):
Coq plugin embedding Elpi
2.1.0-1+b2: amd64
libcoq-equations Paketi
- sid (unstable) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-1+b1: amd64
libcoq-ext-lib Paketi
- sid (unstable) (ocaml):
Collection of theories and plugins for Coq
0.12.1-1+b1: amd64
libcoq-extructures Paketi
- sid (unstable) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-3+b2: amd64
libcoq-flocq Paketi
- sid (unstable) (ocaml):
Floating-point arithmetic for Coq
4.1.4-1+b1: amd64
libcoq-gappa Paketi
- sid (unstable) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-1+b1: amd64
libcoq-hammer Paketi
- sid (unstable) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-1+b1: amd64
libcoq-hierarchy-builder Paketi
- sid (unstable) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-1+b2: amd64
libcoq-hott Paketi
- sid (unstable) (ocaml):
Coq library for homotopy type theory
8.19-1+b1: amd64
libcoq-interval Paketi
- sid (unstable) (ocaml):
interval arithmetic for Coq
4.11.0-1+b2: amd64
libcoq-iris Paketi
- sid (unstable) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-2+b1: amd64
libcoq-libhyps Paketi
- sid (unstable) (ocaml):
Tactics on hypotheses in Coq
2.0.8-3+b1: amd64
libcoq-math-classes Paketi
- sid (unstable) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1+b2: amd64
libcoq-mathcomp Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (all)
2.2.0-1+b2: amd64
libcoq-mathcomp-algebra Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (algebra)
2.2.0-1+b2: amd64
libcoq-mathcomp-algebra-tactics Paketi
- sid (unstable) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-3+b2: amd64
libcoq-mathcomp-analysis Paketi
- sid (unstable) (ocaml):
analysis extension for Mathematical Components
1.2.0-1+b1: amd64
libcoq-mathcomp-bigenough Paketi
- sid (unstable) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-13+b2: amd64
libcoq-mathcomp-character Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (character)
2.2.0-1+b2: amd64
libcoq-mathcomp-classical Paketi
- sid (unstable) (ocaml):
classical logic extension for Mathematical Components
1.2.0-1+b1: amd64
libcoq-mathcomp-field Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (field)
2.2.0-1+b2: amd64
libcoq-mathcomp-fingroup Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-1+b2: amd64
libcoq-mathcomp-finmap Paketi
- sid (unstable) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-1+b2: amd64
libcoq-mathcomp-multinomials Paketi
- sid (unstable) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-2+b2: amd64
libcoq-mathcomp-real-closed Paketi
- sid (unstable) (ocaml):
Real closed fields for Mathematical Components
2.0.0-2+b2: amd64
libcoq-mathcomp-solvable Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-1+b2: amd64
libcoq-mathcomp-ssreflect Paketi
- sid (unstable) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-1+b2: amd64
libcoq-mathcomp-zify Paketi
- sid (unstable) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-2+b2: amd64
libcoq-menhirlib Paketi
- sid (unstable) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-3+b1: amd64
libcoq-mtac2 Paketi
- sid (unstable) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-1+b1: amd64
libcoq-ott Paketi
- sid (unstable) (ocaml):
Ott tool (Coq plugin)
0.33+ds-3+b1: amd64
libcoq-paramcoq Paketi
- sid (unstable) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-1+b1: amd64
libcoq-quickchick Paketi
- sid (unstable) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-2+b2: amd64
libcoq-record-update Paketi
- sid (unstable) (ocaml):
automatic record fields updaters for Coq
0.3.4-2+b1: amd64
libcoq-reduction-effects Paketi
- sid (unstable) (ocaml):
reduction effects for Coq
0.1.5-4+b1: amd64
libcoq-reglang Paketi
- sid (unstable) (ocaml):
representation of regular languages in Coq
1.2.1-3+b2: amd64
libcoq-relation-algebra Paketi
- sid (unstable) (ocaml):
relation algebra for Coq
1.7.10-3+b3: amd64
libcoq-serapi-ocaml Paketi
- sid (unstable) (ocaml):
interaction with Coq (runtime)
8.19.0+0.19.3-3: amd64
libcoq-serapi-ocaml-dev Paketi
- sid (unstable) (ocaml):
interaction with Coq (devel)
8.19.0+0.19.3-3: amd64
libcoq-simple-io Paketi
- sid (unstable) (ocaml):
Coq plugin for purely functional IO
1.9.0-1+b1: amd64
libcoq-stdlib Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.19.1+dfsg-2: amd64
libcoq-stdpp Paketi
- sid (unstable) (ocaml):
Extended standard library for Coq
1.10.0-1+b1: amd64
libcoq-unicoq Paketi
- sid (unstable) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-1+b1: amd64
libcoq-unimath Paketi
- sid (unstable) (ocaml):
univalent formalization of mathematics for Coq
20240331-1+b1: amd64
libssreflect-coq Paketi
- sid (unstable):
Sanal paket
sağlayan: libcoq-mathcomp
pycoqc Paketi
- sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all