toutes les options
[  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : coqprime  ]

Paquet : libcoq-coqprime (8.19-1)

Liens pour libcoq-coqprime

Screenshot

Ressources Debian :

Télécharger le paquet source coqprime :

Responsables :

Ressources externes :

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

Télécharger libcoq-coqprime

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 1 752,7 ko7 438,0 ko [liste des fichiers]