tüm takımlar takımının tüm bölümler bölümlerinde ve mimari(ler) armhf mimarilerinde, coq sözünü barındıran paketler aradınız 22 eşleşen paket bulundu.

Tam eşleşmeler

coq Paketi

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

Diğer eşleşmeler

coq-hierarchy-builder Paketi

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

coqide Paketi

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

coquelicot Paketi

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

libaac-tactics-coq Paketi

• 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 Paketi

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

libcoq-core-ocaml-dev Paketi

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

libcoq-elpi-ocaml Paketi

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

libcoq-elpi-ocaml-dev Paketi

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

libcoq-hierarchy-builder Paketi

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

libcoq-mathcomp Paketi

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

libcoq-mathcomp-algebra Paketi

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

libcoq-mathcomp-character Paketi

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

libcoq-mathcomp-field Paketi

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

libcoq-mathcomp-fingroup Paketi

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

libcoq-mathcomp-solvable Paketi

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

libcoq-mathcomp-ssreflect Paketi

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

libcoq-stdlib Paketi

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

libfloat-coq Paketi

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

libssreflect-coq Paketi

• aramo: Sanal paket
  sağlayan: 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 Paketi

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

pycoqc Paketi

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