IN een specifieke suite zoeken: [aramo] [aramo-updates] [aramo-security] [aramo-backports] [nabia] [nabia-updates] [nabia-security] [nabia-backports] [etiona] [etiona-updates] [etiona-security] [etiona-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el]
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 19 matching packages.
Exacte resultaten
Pakket coq
- etiona (math):
proof assistant for higher-order logic (toplevel and compiler)
8.6-5build1: i386
Overige resultaten
Pakket coq-theories
- etiona (math):
proof assistant for higher-order logic (theories)
8.6-5build1: i386
Pakket coqide
- etiona (math):
proof assistant for higher-order logic (gtk interface)
8.6-5build1: i386
Pakket coquelicot
- etiona (web):
"one-click" file sharing web application with a focus on users' privacy
0.9.6-1ubuntu1: all
Pakket 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
Pakket libcoq-mathcomp
- aramo (math):
Mathematical Components library for Coq (all)
1.14.0-7: all
Pakket libcoq-mathcomp-algebra
- aramo (math):
Mathematical Components library for Coq (algebra)
1.14.0-7: all
Pakket libcoq-mathcomp-character
- aramo (math):
Mathematical Components library for Coq (character)
1.14.0-7: all
Pakket libcoq-mathcomp-field
- aramo (math):
Mathematical Components library for Coq (field)
1.14.0-7: all
Pakket libcoq-mathcomp-fingroup
- aramo (math):
Mathematical Components library for Coq (finite groups)
1.14.0-7: all
Pakket libcoq-mathcomp-solvable
- aramo (math):
Mathematical Components library for Coq (finite groups II)
1.14.0-7: all
Pakket libcoq-mathcomp-ssreflect
- aramo (math):
Mathematical Components library for Coq (small scale reflection)
1.14.0-7: all
Pakket libcoq-ocaml
- etiona (ocaml):
runtime libraries for Coq
8.6-5build1: i386
Pakket libcoq-ocaml-dev
- etiona (libdevel):
development libraries and tools for Coq
8.6-5build1: i386
Pakket libfloat-coq
- nabia (math):
Coq library on floating-point arithmetic
1:8.10.0-1: all
Pakket libssreflect-coq
- aramo:
Virtueel pakket
geboden door: 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
Pakket libwhy-coq
- etiona (libdevel):
Why library for Coq
2.39-2build1: all
Pakket pycoqc
- aramo (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all
Pakket why3-coq
- etiona (math):
Coq support for the why3 verification platform
0.88.3-1ubuntu4: i386