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