Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
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 alle suites, alle secties, and platform(s) i386. Found 72 matching packages.
Exacte resultaten
Pakket coq
- 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
Overige resultaten
Pakket coq-doc
- 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
Pakket coq-doc-html
- 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
Pakket coq-doc-pdf
- 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
Pakket coq-dpdgraph-tools
- 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
Pakket coq-hierarchy-builder
- bookworm (stable) (ocaml):
build hierarchies of algebraic structures in Coq (tool)
1.4.0-2+b6: i386
Pakket coq-serapi
- 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
Pakket coq-theories
- 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
Pakket coqide
- 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
Pakket coqprime-tools
- 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
Pakket debian-coq-tools
- 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
Pakket dh-coq
- 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
Pakket libcoq-aac-tactics
- 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
Pakket libcoq-bignums
- 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
Pakket libcoq-coqeal
- 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
Pakket libcoq-coqprime
- 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
Pakket libcoq-coquelicot
- 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
Pakket libcoq-core-ocaml
- 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
Pakket libcoq-core-ocaml-dev
- 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
Pakket libcoq-corn
- 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
Pakket libcoq-deriving
- 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
Pakket libcoq-dpdgraph
- 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
Pakket libcoq-elpi
- 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
Pakket libcoq-equations
- 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
Pakket libcoq-ext-lib
- 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
Pakket libcoq-extructures
- 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
Pakket libcoq-flocq
- 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
Pakket libcoq-gappa
- 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
Pakket libcoq-hammer
- 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
Pakket libcoq-hierarchy-builder
- 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
Pakket libcoq-hott
- 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
Pakket libcoq-interval
- 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
Pakket libcoq-iris
- 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
Pakket libcoq-libhyps
- 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
Pakket libcoq-math-classes
- 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
Pakket libcoq-mathcomp
- 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
Pakket libcoq-mathcomp-abel
- bookworm (stable) (ocaml):
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
1.2.1-1+b3: i386
Pakket libcoq-mathcomp-algebra
- 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
Pakket libcoq-mathcomp-algebra-tactics
- 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
Pakket libcoq-mathcomp-analysis
- 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
Pakket libcoq-mathcomp-bigenough
- 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
Pakket libcoq-mathcomp-character
- 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
Pakket libcoq-mathcomp-classical
- 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
Pakket libcoq-mathcomp-field
- 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
Pakket libcoq-mathcomp-fingroup
- 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
Pakket libcoq-mathcomp-finmap
- 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
Pakket libcoq-mathcomp-multinomials
- 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
Pakket libcoq-mathcomp-real-closed
- 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
Pakket libcoq-mathcomp-solvable
- 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
Pakket libcoq-mathcomp-ssreflect
- 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
Pakket libcoq-mathcomp-zify
- 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
Pakket libcoq-menhirlib
- 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
Pakket libcoq-mtac2
- 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
Pakket libcoq-ocaml
- 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
Pakket libcoq-ocaml-dev
- 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
Pakket libcoq-ott
- 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
Pakket libcoq-paramcoq
- 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
Pakket libcoq-quickchick
- 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
Pakket libcoq-record-update
- 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
Pakket libcoq-reduction-effects
- 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
Pakket libcoq-reglang
- 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
Pakket libcoq-relation-algebra
- 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
Pakket libcoq-serapi-ocaml
- 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
Pakket libcoq-serapi-ocaml-dev
- 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
Pakket libcoq-simple-io
- 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
Pakket libcoq-stdlib
- 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
Pakket libcoq-stdpp
- 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
Pakket libcoq-unicoq
- 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
Pakket libcoq-unimath
- 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
Pakket libssreflect-coq
- bullseye (oldstable) (math):
Mathematical Components library for Coq
1.12.0-1: all - bookworm (stable):
Virtueel pakket
geboden door: libcoq-mathcomp - trixie (testing):
Virtueel pakket
geboden door: libcoq-mathcomp - sid (unstable):
Virtueel pakket
geboden door: libcoq-mathcomp
Pakket pycoqc
- 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
Pakket why3-coq
- 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