Pakiet: coqprime-tools (8.19-1)

[ Pakiet źródłowy: coqprime  ]

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

• dep: libc6 (>= 2.34)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libcoq-coqprime (= 8.19-1)

  Primality certification for Coq (library)

• dep: libecm1 (>= 7.0.5+ds)

  factor integers using the Elliptic Curve Method -- lib

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Biblioteka działań arytmetycznych z dużą dokładnością

• dep: ocaml-base-nox

  transitional package for ocaml-base

  lub ocaml-base

  Runtime system for OCaml bytecode executables

Pobieranie coqprime-tools

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ppc64el	134,8 KiB	837,0 KiB	[lista plików]