eLxr packages

 / パッケージ / パッケージ検索結果

Limit to suite: [aria] [bianca]

Limit to a architecture: [amd64] [arm64]

coq を名前に含むパッケージを、すべてのスイート、すべてのセクション、すべてのアーキテクチャで検索しました。 62 個の一致するパッケージが見つかりました。

完全なヒット

coq パッケージ

• bianca (stable) (math): proof assistant for higher-order logic (toplevel and compiler)
  8.20.1+dfsg-1+b1: amd64 arm64

その他のヒット

coq-dpdgraph-tools パッケージ

• bianca (stable) (ocaml): Coq plugin to extract dependencies between Coq objects (tools)
  1.0+8.20-1+b4: amd64 arm64

coq-serapi パッケージ

• bianca (stable) (ocaml): interaction with Coq (utils)
  8.20.0+0.20.0-1+b4: amd64 arm64

coqide パッケージ

• bianca (stable) (math): proof assistant for higher-order logic (gtk interface)
  8.20.1+dfsg-1+b1: amd64 arm64

coqprime-tools パッケージ

• bianca (stable) (ocaml): Primality certification for Coq (tools)
  8.20.1-1+b4: amd64 arm64

debian-coq-tools パッケージ

• bianca (stable) (ocaml): various tools to manage Coq-related Debian packages
  0.14: all

dh-coq パッケージ

• bianca (stable) (ocaml): debhelper tool for Coq-related Debian packages
  0.14: all

libcoq-aac-tactics パッケージ

• bianca (stable) (math): Coq tactics for reasoning modulo AC (theories)
  8.20.0-1+b4: amd64 arm64

libcoq-bignums パッケージ

• bianca (stable) (ocaml): Coq library for big numbers
  9.0.0+coq8.20-1+b9: amd64
  9.0.0+coq8.20-1+b8: arm64

libcoq-coqeal パッケージ

• bianca (stable) (ocaml): algebra and data structure algorithms for Coq
  2.1.0-1+b1: amd64 arm64

libcoq-coqprime パッケージ

• bianca (stable) (ocaml): Primality certification for Coq (library)
  8.20.1-1+b4: amd64 arm64

libcoq-coquelicot パッケージ

• bianca (stable) (ocaml): Coq library for real analysis
  3.4.3-1+b3: amd64 arm64

libcoq-core-ocaml パッケージ

• bianca (stable) (ocaml): runtime libraries for Coq
  8.20.1+dfsg-1+b1: amd64 arm64

libcoq-core-ocaml-dev パッケージ

• bianca (stable) (ocaml): development libraries and tools for Coq
  8.20.1+dfsg-1+b1: amd64 arm64

libcoq-corn パッケージ

• bianca (stable) (ocaml): Coq Constructive Repository at Nijmegen
  8.20.0-1+b4: amd64 arm64

libcoq-deriving パッケージ

• bianca (stable) (ocaml): deriving MathComp classes from inductive types
  0.2.1-1+b7: amd64 arm64

libcoq-dpdgraph パッケージ

• bianca (stable) (ocaml): Coq plugin to extract dependencies between Coq objects
  1.0+8.20-1+b4: amd64 arm64

libcoq-elpi パッケージ

• bianca (stable) (ocaml): Coq plugin embedding Elpi
  2.5.0-1.1: amd64 arm64

libcoq-equations パッケージ

• bianca (stable) (ocaml): Coq library to work with functions defined by equations
  1.3.1-8.20-1+b4: amd64 arm64

libcoq-ext-lib パッケージ

• bianca (stable) (ocaml): Collection of theories and plugins for Coq
  0.13.0-1+b4: amd64 arm64

libcoq-extructures パッケージ

• bianca (stable) (ocaml): data structures with extensional reasoning for Coq
  0.5.0-1+b7: amd64 arm64

libcoq-flocq パッケージ

• bianca (stable) (ocaml): Floating-point arithmetic for Coq
  4.2.1-1+b2: amd64 arm64

libcoq-gappa パッケージ

• bianca (stable) (math): Coq tactic to use Gappa for floating-point goals
  1.7.0-1+b1: amd64 arm64

libcoq-hammer パッケージ

• bianca (stable) (ocaml): automated reasoning tool for Coq
  1.3.2+8.20-1+b4: amd64 arm64

libcoq-hierarchy-builder パッケージ

• bianca (stable) (ocaml): build hierarchies of algebraic structures in Coq
  1.8.1-1+b3: amd64 arm64

libcoq-hott パッケージ

• bianca (stable) (ocaml): Coq library for homotopy type theory
  9.0-1+b2: amd64 arm64

libcoq-interval パッケージ

• bianca (stable) (ocaml): interval arithmetic for Coq
  4.11.1-1+b9: amd64
  4.11.1-1+b7: arm64

libcoq-iris パッケージ

• bianca (stable) (ocaml): high-order concurrent separation logic framework for Coq
  4.3.0-1+b6: arm64
  4.3.0-1+b5: amd64

libcoq-libhyps パッケージ

• bianca (stable) (ocaml): Tactics on hypotheses in Coq
  2.0.8-4+b8: amd64
  2.0.8-4+b7: arm64

libcoq-math-classes パッケージ

• bianca (stable) (ocaml): Abstract interfaces for mathematical structures for Coq
  8.19.0-1+b11: amd64
  8.19.0-1+b10: arm64

libcoq-mathcomp パッケージ

• bianca (stable) (math): Mathematical Components library for Coq (all)
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-algebra パッケージ

• bianca (stable) (math): Mathematical Components library for Coq (algebra)
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-algebra-tactics パッケージ

• bianca (stable) (ocaml): Ring and field tactics for Mathematical Components
  1.2.4-1+b5: amd64 arm64

libcoq-mathcomp-analysis パッケージ

• bianca (stable) (ocaml): analysis extension for Mathematical Components
  1.9.0-1+b3: amd64 arm64

libcoq-mathcomp-bigenough パッケージ

• bianca (stable) (ocaml): epsilon - N reasoning for Mathematical Components
  1.0.2-1+b3: amd64 arm64

libcoq-mathcomp-character パッケージ

• bianca (stable) (math): Mathematical Components library for Coq (character)
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-classical パッケージ

• bianca (stable) (ocaml): classical logic extension for Mathematical Components
  1.9.0-1+b3: amd64 arm64

libcoq-mathcomp-field パッケージ

• bianca (stable) (math): Mathematical Components library for Coq (field)
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-fingroup パッケージ

• bianca (stable) (math): Mathematical Components library for Coq (finite groups)
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-finmap パッケージ

• bianca (stable) (ocaml): finite sets and maps extension for Mathematical Components
  2.1.0-3+b7: amd64 arm64

libcoq-mathcomp-multinomials パッケージ

• bianca (stable) (ocaml): Multivariate polynomials for Mathematical Components
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-real-closed パッケージ

• bianca (stable) (ocaml): Real closed fields for Mathematical Components
  2.0.2-1+b7: amd64 arm64

libcoq-mathcomp-solvable パッケージ

• bianca (stable) (math): Mathematical Components library for Coq (finite groups II)
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-ssreflect パッケージ

• bianca (stable) (math): Mathematical Components library for Coq (small scale reflection)
  2.3.0-1+b7: amd64 arm64

libcoq-mathcomp-zify パッケージ

• bianca (stable) (ocaml): Micromega arithmetic solvers for Mathematical Components
  1.5.0+2.0+8.16-4+b7: amd64 arm64

libcoq-menhirlib パッケージ

• bianca (stable) (ocaml): support library for Coq-verified Menhir parsers
  20240715+ds-1+b6: amd64
  20240715+ds-1+b5: arm64

libcoq-mtac2 パッケージ

• bianca (stable) (ocaml): Mtac2 tactic language for Coq
  1.4+8.20-1+b4: amd64 arm64

libcoq-ott パッケージ

• bianca (stable) (ocaml): Ott tool (Coq plugin)
  0.34+ds-1+b4: amd64 arm64

libcoq-paramcoq パッケージ

• bianca (stable) (ocaml): Coq plugin to generate parametricity statements
  1.1.3+coq8.20-1+b4: amd64 arm64

libcoq-quickchick パッケージ

• bianca (stable) (ocaml): randomized testing framework for Coq (plugin)
  2.1.0-1+b2: amd64 arm64

libcoq-record-update パッケージ

• bianca (stable) (ocaml): automatic record fields updaters for Coq
  0.3.4-4+b4: amd64 arm64

libcoq-reduction-effects パッケージ

• bianca (stable) (ocaml): reduction effects for Coq
  0.1.5-5+b8: amd64
  0.1.5-5+b7: arm64

libcoq-reglang パッケージ

• bianca (stable) (ocaml): representation of regular languages in Coq
  1.2.1-4+b14: amd64
  1.2.1-4+b13: arm64

libcoq-relation-algebra パッケージ

• bianca (stable) (ocaml): relation algebra for Coq
  1.7.11-1+b7: amd64 arm64

libcoq-serapi-ocaml パッケージ

• bianca (stable) (ocaml): interaction with Coq (runtime)
  8.20.0+0.20.0-1+b4: amd64 arm64

libcoq-serapi-ocaml-dev パッケージ

• bianca (stable) (ocaml): interaction with Coq (devel)
  8.20.0+0.20.0-1+b4: amd64 arm64

libcoq-simple-io パッケージ

• bianca (stable) (ocaml): Coq plugin for purely functional IO
  1.11.0-1+b1: amd64 arm64

libcoq-stdlib パッケージ

• bianca (stable) (math): proof assistant for higher-order logic (theories)
  8.20.1+dfsg-1+b1: amd64 arm64

libcoq-stdpp パッケージ

• bianca (stable) (ocaml): Extended standard library for Coq
  1.11.0-1+b6: amd64
  1.11.0-1+b5: arm64

libcoq-unicoq パッケージ

• bianca (stable) (ocaml): enhanced unification algorithm for Coq
  1.6-8.20-1+b4: amd64 arm64

libcoq-unimath パッケージ

• bianca (stable) (ocaml): univalent formalization of mathematics for Coq
  20240923-2+b4: amd64 arm64

pycoqc パッケージ

• bianca (stable) (science): computes metrics and generates Interactive QC plots
  2.5.2+dfsg-4: all