wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: coqprime  ]

Pakiet: coqprime-tools (8.15-2 i inne)

Odnośniki dla coqprime-tools

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coqprime:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Primality certification for Coq (tools)

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.

Inne pakiety związane z coqprime-tools

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie coqprime-tools

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 8.15-2+b1 132,3 KiB765,0 KiB [lista plików]
arm64 8.15-2+b1 130,7 KiB821,0 KiB [lista plików]
armhf 8.15-2+b1 129,3 KiB735,0 KiB [lista plików]
i386 8.15-2+b1 133,6 KiB767,0 KiB [lista plików]
ppc64el 8.15-2+b1 133,1 KiB821,0 KiB [lista plików]
s390x 8.15-2+b1 129,5 KiB761,0 KiB [lista plików]