Chercher dans une suite spécifique : [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]
Chercher dans toutes les architectures
Certains résultats n'ont pas été affichés en raison des paramètres de recherche.
Vous avez recherché des paquets dont les noms contiennent coq dans toutes les suites, toutes les sections, et architecture(s) i386. 19 paquets correspondants trouvés.
Résultats exacts
Paquet coq
- etiona (math):
proof assistant for higher-order logic (toplevel and compiler)
8.6-5build1: i386
Autres résultats
Paquet coq-theories
- etiona (math):
proof assistant for higher-order logic (theories)
8.6-5build1: i386
Paquet coqide
- etiona (math):
proof assistant for higher-order logic (gtk interface)
8.6-5build1: i386
Paquet coquelicot
- etiona (web):
"one-click" file sharing web application with a focus on users' privacy
0.9.6-1ubuntu1: all
Paquet 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
Paquet libcoq-mathcomp
- aramo (math):
Mathematical Components library for Coq (all)
1.14.0-7: all
Paquet libcoq-mathcomp-algebra
- aramo (math):
Mathematical Components library for Coq (algebra)
1.14.0-7: all
Paquet libcoq-mathcomp-character
- aramo (math):
Mathematical Components library for Coq (character)
1.14.0-7: all
Paquet libcoq-mathcomp-field
- aramo (math):
Mathematical Components library for Coq (field)
1.14.0-7: all
Paquet libcoq-mathcomp-fingroup
- aramo (math):
Mathematical Components library for Coq (finite groups)
1.14.0-7: all
Paquet libcoq-mathcomp-solvable
- aramo (math):
Mathematical Components library for Coq (finite groups II)
1.14.0-7: all
Paquet libcoq-mathcomp-ssreflect
- aramo (math):
Mathematical Components library for Coq (small scale reflection)
1.14.0-7: all
Paquet libcoq-ocaml
- etiona (ocaml):
runtime libraries for Coq
8.6-5build1: i386
Paquet libcoq-ocaml-dev
- etiona (libdevel):
development libraries and tools for Coq
8.6-5build1: i386
Paquet libfloat-coq
- nabia (math):
Coq library on floating-point arithmetic
1:8.10.0-1: all
Paquet libssreflect-coq
- aramo:
Paquet virtuel
fourni par : 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
Paquet libwhy-coq
- etiona (libdevel):
Why library for Coq
2.39-2build1: all
Paquet pycoqc
- aramo (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all
Paquet why3-coq
- etiona (math):
Coq support for the why3 verification platform
0.88.3-1ubuntu4: i386