» Ubuntu » Paquets » disco (19.04) » math » coq
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Paquet source : coq  ]

Paquet : coq (8.6-5build1) [universe]

Liens pour coq

Screenshot

Ressources Ubuntu :

Télécharger le paquet source coq :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

proof assistant for higher-order logic (toplevel and compiler)

Autres paquets associés à coq

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • rec: coqide
    proof assistant for higher-order logic (gtk interface)
    ou proofgeneral
    generic frontend for proof assistants

Télécharger coq

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 17 259,6 ko72 587,0 ko [liste des fichiers]
arm64 18 424,9 ko78 486,0 ko [liste des fichiers]
armhf 16 601,3 ko61 431,0 ko [liste des fichiers]
i386 16 551,3 ko65 843,0 ko [liste des fichiers]
ppc64el 17 777,6 ko77 394,0 ko [liste des fichiers]
s390x 17 509,6 ko77 769,0 ko [liste des fichiers]