Paquet : libcoq-coqprime (8.15-2 et autres)

Liens pour libcoq-coqprime

Ressources Debian :

Télécharger le paquet source coqprime :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

Primality certification for Coq (library)

Coqprime consists in:

 - a library of facts from number theory
 - a library for elliptic curves
 - an efficient library for modular arithmetic
 - tools to generate Pocklington and elliptic curve

certificates of primality

Coq is a proof assistant for higher-order logic.

This package contains the Coq library part.

Autres paquets associés à libcoq-coqprime

dépendances

recommandations

suggestions

enhances

dep: libcoq-bignums-9elb7

paquet virtuel fourni par libcoq-bignums
dep: libcoq-stdlib-u2uh4

paquet virtuel fourni par libcoq-stdlib

Télécharger libcoq-coqprime

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
armhf	8.15-2+b1	1 613,8 ko	6 963,0 ko	[liste des fichiers]