Skip to content
Sections
>> Trisquel >> Pakete >> Ergebnisse der Paketsuche

Suchen in bestimmter Suite: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]

Suchen in allen Suites

Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]

Einige Ergebnisse wurden aufgrund der Suchparameter nicht angezeigt.

Ihre Suche nach Paketen, deren Name coq enthält, in Suite(s) etiona, allen Bereichen, und auf allen Architekturen: 10 Treffer.

Genaue Treffer

Paket coq

  • etiona (math): proof assistant for higher-order logic (toplevel and compiler)
    8.6-5build1: amd64 i386

Andere Treffer

Paket coq-theories

  • etiona (math): proof assistant for higher-order logic (theories)
    8.6-5build1: amd64 i386

Paket coqide

  • etiona (math): proof assistant for higher-order logic (gtk interface)
    8.6-5build1: amd64 i386

Paket coquelicot

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

Paket libaac-tactics-coq

  • etiona (math): Coq tactics for reasoning modulo AC (theories)
    8.6.1-2: all

Paket libcoq-ocaml

  • etiona (ocaml): runtime libraries for Coq
    8.6-5build1: amd64 i386

Paket libcoq-ocaml-dev

  • etiona (libdevel): development libraries and tools for Coq
    8.6-5build1: amd64 i386

Paket libssreflect-coq

  • etiona (math): small scale reflection library for Coq (theories)
    1.6.1-3build1: all

Paket libwhy-coq

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

Paket why3-coq

  • etiona (math): Coq support for the why3 verification platform
    0.88.3-1ubuntu4: amd64 i386