všetky možnosti
[  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: coqprime  ]

Balík: libcoq-coqprime (8.15-2 a iné)

Odkazy pre libcoq-coqprime

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coqprime:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libcoq-coqprime

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcoq-coqprime

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
arm64 8.15-2+b1 1,613.7 kB6,963.0 kB [zoznam súborov]