Вы искали пакеты, в именах которых есть coq. Были просмотрены все комплекты, все секции и архитектура(ы) armhf. Количество подходящих пакетов: 22.

Точные совпадения

Пакет coq

• aramo (math): proof assistant for higher-order logic (toplevel and compiler)
  8.15.0+dfsg-2: armhf

Другие совпадения

Пакет coq-hierarchy-builder

• aramo (ocaml): build hierarchies of algebraic structures in Coq (tool)
  1.2.1-2: armhf

Пакет coqide

• aramo (math): proof assistant for higher-order logic (gtk interface)
  8.15.0+dfsg-2: armhf

Пакет coquelicot

• etiona (web): "one-click" file sharing web application with a focus on users' privacy
  0.9.6-1ubuntu1: all

Пакет libaac-tactics-coq

• aramo (math): Coq tactics for reasoning modulo AC (theories)
  8.15.0-1: all
• nabia (math): Coq tactics for reasoning modulo AC (theories)
  8.11.0-1: all
• etiona (math): Coq tactics for reasoning modulo AC (theories)
  8.6.1-2: all

Пакет libcoq-core-ocaml

• aramo (ocaml): runtime libraries for Coq
  8.15.0+dfsg-2: armhf

Пакет libcoq-core-ocaml-dev

• aramo (ocaml): development libraries and tools for Coq
  8.15.0+dfsg-2: armhf

Пакет libcoq-elpi-ocaml

• aramo (ocaml): Coq plugin embedding Elpi (runtime)
  1.13.0-1: armhf

Пакет libcoq-elpi-ocaml-dev

• aramo (ocaml): Coq plugin embedding Elpi (devel)
  1.13.0-1: armhf

Пакет libcoq-hierarchy-builder

• aramo (ocaml): build hierarchies of algebraic structures in Coq (runtime files)
  1.2.1-2: armhf

Пакет libcoq-mathcomp

• aramo (math): Mathematical Components library for Coq (all)
  1.14.0-7: all

Пакет libcoq-mathcomp-algebra

• aramo (math): Mathematical Components library for Coq (algebra)
  1.14.0-7: all

Пакет libcoq-mathcomp-character

• aramo (math): Mathematical Components library for Coq (character)
  1.14.0-7: all

Пакет libcoq-mathcomp-field

• aramo (math): Mathematical Components library for Coq (field)
  1.14.0-7: all

Пакет libcoq-mathcomp-fingroup

• aramo (math): Mathematical Components library for Coq (finite groups)
  1.14.0-7: all

Пакет libcoq-mathcomp-solvable

• aramo (math): Mathematical Components library for Coq (finite groups II)
  1.14.0-7: all

Пакет libcoq-mathcomp-ssreflect

• aramo (math): Mathematical Components library for Coq (small scale reflection)
  1.14.0-7: all

Пакет libcoq-stdlib

• aramo (math): proof assistant for higher-order logic (theories)
  8.15.0+dfsg-2: armhf

Пакет libfloat-coq

• nabia (math): Coq library on floating-point arithmetic
  1:8.10.0-1: all

Пакет libssreflect-coq

• aramo: Виртуальный пакет
  предоставляется: libcoq-mathcomp
• nabia (math): Mathematical Components library for Coq
  1.10.0+dfsg-2: all
• etiona (math): small scale reflection library for Coq (theories)
  1.6.1-3build1: all

Пакет libwhy-coq

• etiona (libdevel): Why library for Coq
  2.39-2build1: all

Пакет pycoqc

• aramo (science): computes metrics and generates Interactive QC plots
  2.5.2+dfsg-3: all