Paquet : libcoq-coqprime (8.20.1-1 et autres)

Liens pour libcoq-coqprime

Suivis des correctifs pour eLxr

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-8bdi7 [arm64]

paquet virtuel fourni par libcoq-bignums
dep: libcoq-bignums-9bm26 [amd64]

paquet virtuel fourni par libcoq-bignums
dep: libcoq-stdlib-1ns11 [arm64]

paquet virtuel fourni par libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

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
amd64	8.20.1-1+b4	1 737,1 ko	6 567,0 ko	[liste des fichiers]
arm64	8.20.1-1+b4	1 737,4 ko	6 567,0 ko	[liste des fichiers]