Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Chercher dans toutes les suites
Limiter à l'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]
Chercher dans toutes les architectures
Certains résultats n'ont pas été affichés en raison des paramètres de recherche.
Vous avez recherché des paquets dont les noms contiennent coq dans version(s) trixie, toutes les sections, et architecture(s) riscv64. 66 paquets correspondants trouvés.
Résultats exacts
Paquet coq
- trixie (testing) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
8.19.1+dfsg-3+b2: riscv64
Autres résultats
Paquet coq-doc
- trixie (testing) (doc):
documentation for Coq [non-free]
8.19.1-2: all
Paquet coq-doc-html
- trixie (testing) (doc):
documentation for Coq in html format [non-free]
8.19.1-2: all
Paquet coq-doc-pdf
- trixie (testing) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-2: all
Paquet coq-dpdgraph-tools
- trixie (testing) (ocaml):
Coq plugin to extract dependencies between Coq objects (tools)
1.0+8.19-2+b2: riscv64
Paquet coq-serapi
- trixie (testing) (ocaml):
interaction with Coq (utils)
8.19.0+0.19.3-4+b2: riscv64
Paquet coqide
- trixie (testing) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (interface en GTK)
8.19.1+dfsg-3+b2: riscv64
Paquet coqprime-tools
- trixie (testing) (ocaml):
Primality certification for Coq (tools)
8.19-2+b2: riscv64
Paquet debian-coq-tools
- trixie (testing) (ocaml):
various tools to manage Coq-related Debian packages
0.11: all
Paquet dh-coq
- trixie (testing) (ocaml):
debhelper tool for Coq-related Debian packages
0.11: all
Paquet libcoq-aac-tactics
- trixie (testing) (math):
tactiques Coq pour raisonner modulo AC — théories
8.19.1-2+b2: riscv64
Paquet libcoq-bignums
- trixie (testing) (ocaml):
Coq library for big numbers
9.0.0+coq8.20-1+b3: riscv64
Paquet libcoq-coqeal
- trixie (testing) (ocaml):
algebra and data structure algorithms for Coq
2.0.2-2+b4: riscv64
Paquet libcoq-coqprime
- trixie (testing) (ocaml):
Primality certification for Coq (library)
8.19-2+b2: riscv64
Paquet libcoq-coquelicot
- trixie (testing) (ocaml):
Coq library for real analysis
3.4.1-3+b4: riscv64
Paquet libcoq-core-ocaml
- trixie (testing) (ocaml):
bibliothèques d'exécution pour Coq
8.19.1+dfsg-3+b2: riscv64
Paquet libcoq-core-ocaml-dev
- trixie (testing) (ocaml):
development libraries and tools for Coq
8.19.1+dfsg-3+b2: riscv64
Paquet libcoq-corn
- trixie (testing) (ocaml):
Coq Constructive Repository at Nijmegen
8.19.0+ds1-1+b5: riscv64
Paquet libcoq-deriving
- trixie (testing) (ocaml):
deriving MathComp classes from inductive types
0.2.0-3+b4: riscv64
Paquet libcoq-dpdgraph
- trixie (testing) (ocaml):
Coq plugin to extract dependencies between Coq objects
1.0+8.19-2+b2: riscv64
Paquet libcoq-elpi
- trixie (testing) (ocaml):
Coq plugin embedding Elpi
2.1.0-1+b8: riscv64
Paquet libcoq-equations
- trixie (testing) (ocaml):
Coq library to work with functions defined by equations
1.3-8.19-2+b2: riscv64
Paquet libcoq-ext-lib
- trixie (testing) (ocaml):
Collection of theories and plugins for Coq
0.12.1-2+b3: riscv64
Paquet libcoq-extructures
- trixie (testing) (ocaml):
data structures with extensional reasoning for Coq
0.4.0-4+b4: riscv64
Paquet libcoq-flocq
- trixie (testing) (ocaml):
Floating-point arithmetic for Coq
4.1.4-2+b2: riscv64
Paquet libcoq-gappa
- trixie (testing) (math):
Coq tactic to use Gappa for floating-point goals
1.5.5-2+b2: riscv64
Paquet libcoq-hammer
- trixie (testing) (ocaml):
automated reasoning tool for Coq
1.3.2+8.19-2+b2: riscv64
Paquet libcoq-hierarchy-builder
- trixie (testing) (ocaml):
build hierarchies of algebraic structures in Coq
1.7.0-2+b6: riscv64
Paquet libcoq-hott
- trixie (testing) (ocaml):
Coq library for homotopy type theory
8.19-2+b2: riscv64
Paquet libcoq-interval
- trixie (testing) (ocaml):
interval arithmetic for Coq
4.11.0-2+b4: riscv64
Paquet libcoq-iris
- trixie (testing) (ocaml):
high-order concurrent separation logic framework for Coq
4.2.0-3+b2: riscv64
Paquet libcoq-libhyps
- trixie (testing) (ocaml):
Tactics on hypotheses in Coq
2.0.8-4+b2: riscv64
Paquet libcoq-math-classes
- trixie (testing) (ocaml):
Abstract interfaces for mathematical structures for Coq
8.19.0-1+b5: riscv64
Paquet libcoq-mathcomp
- trixie (testing) (math):
Mathematical Components library for Coq (all)
2.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-algebra
- trixie (testing) (math):
Mathematical Components library for Coq (algebra)
2.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-algebra-tactics
- trixie (testing) (ocaml):
Ring and field tactics for Mathematical Components
1.2.3-4+b4: riscv64
Paquet libcoq-mathcomp-analysis
- trixie (testing) (ocaml):
analysis extension for Mathematical Components
1.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-bigenough
- trixie (testing) (ocaml):
epsilon - N reasoning for Mathematical Components
1.0.1-14+b4: riscv64
Paquet libcoq-mathcomp-character
- trixie (testing) (math):
Mathematical Components library for Coq (character)
2.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-classical
- trixie (testing) (ocaml):
classical logic extension for Mathematical Components
1.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-field
- trixie (testing) (math):
Mathematical Components library for Coq (field)
2.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-fingroup
- trixie (testing) (math):
Mathematical Components library for Coq (finite groups)
2.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-finmap
- trixie (testing) (ocaml):
finite sets and maps extension for Mathematical Components
2.1.0-2+b4: riscv64
Paquet libcoq-mathcomp-multinomials
- trixie (testing) (ocaml):
Multivariate polynomials for Mathematical Components
2.2.0-3+b4: riscv64
Paquet libcoq-mathcomp-real-closed
- trixie (testing) (ocaml):
Real closed fields for Mathematical Components
2.0.0-3+b4: riscv64
Paquet libcoq-mathcomp-solvable
- trixie (testing) (math):
Mathematical Components library for Coq (finite groups II)
2.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-ssreflect
- trixie (testing) (math):
Mathematical Components library for Coq (small scale reflection)
2.2.0-2+b4: riscv64
Paquet libcoq-mathcomp-zify
- trixie (testing) (ocaml):
Micromega arithmetic solvers for Mathematical Components
1.5.0+2.0+8.16-3+b4: riscv64
Paquet libcoq-menhirlib
- trixie (testing) (ocaml):
support library for Coq-verified Menhir parsers
20231231+ds-4+b2: riscv64
Paquet libcoq-mtac2
- trixie (testing) (ocaml):
Mtac2 tactic language for Coq
1.4+8.19-2+b2: riscv64
Paquet libcoq-ott
- trixie (testing) (ocaml):
Ott tool (Coq plugin)
0.33+ds-4+b2: riscv64
Paquet libcoq-paramcoq
- trixie (testing) (ocaml):
Coq plugin to generate parametricity statements
1.1.3+coq8.19-2+b2: riscv64
Paquet libcoq-quickchick
- trixie (testing) (ocaml):
randomized testing framework for Coq (plugin)
2.0.3-3+b5: riscv64
Paquet libcoq-record-update
- trixie (testing) (ocaml):
automatic record fields updaters for Coq
0.3.4-3+b2: riscv64
Paquet libcoq-reduction-effects
- trixie (testing) (ocaml):
reduction effects for Coq
0.1.5-5+b2: riscv64
Paquet libcoq-reglang
- trixie (testing) (ocaml):
representation of regular languages in Coq
1.2.1-4+b4: riscv64
Paquet libcoq-relation-algebra
- trixie (testing) (ocaml):
relation algebra for Coq
1.7.10-4+b4: riscv64
Paquet libcoq-serapi-ocaml
- trixie (testing) (ocaml):
interaction with Coq (runtime)
8.19.0+0.19.3-4+b2: riscv64
Paquet libcoq-serapi-ocaml-dev
- trixie (testing) (ocaml):
interaction with Coq (devel)
8.19.0+0.19.3-4+b2: riscv64
Paquet libcoq-simple-io
- trixie (testing) (ocaml):
Coq plugin for purely functional IO
1.9.0-2+b2: riscv64
Paquet libcoq-stdlib
- trixie (testing) (math):
outil d'aide à la preuve pour la logique d'ordre supérieur (théories)
8.19.1+dfsg-3+b2: riscv64
Paquet libcoq-stdpp
- trixie (testing) (ocaml):
Extended standard library for Coq
1.10.0-2+b2: riscv64
Paquet libcoq-unicoq
- trixie (testing) (ocaml):
enhanced unification algorithm for Coq
1.6-8.19-2+b2: riscv64
Paquet libcoq-unimath
- trixie (testing) (ocaml):
univalent formalization of mathematics for Coq
20240331-2+b2: riscv64
Paquet libssreflect-coq
- trixie (testing):
Paquet virtuel
fourni par : libcoq-mathcomp
Paquet pycoqc
- trixie (testing) (science):
calcul de métriques et génération de tracés interactifs de chimie quantique
2.5.2+dfsg-3: all