Package: coqprime-tools (8.19-1 and others)

[ Source: 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.

Other Packages Related to coqprime-tools

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libcoq-coqprime (= 8.17-1+b1) [ppc64]

  Primality certification for Coq (library)

  dep: libcoq-coqprime (= 8.19-1) [not ppc64]

• dep: libecm1 (>= 7.0.5+ds)

  factor integers using the Elliptic Curve Method -- lib

• dep: libgmp10 (>= 2:6.2.1+dfsg1) [ppc64]

  Multiprecision arithmetic library

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not ppc64]

• dep: ocaml-base-nox

  transitional package for ocaml-base

  or ocaml-base

  Runtime system for OCaml bytecode executables

Download coqprime-tools

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	8.19-1	133.9 kB	781.0 kB	[list of files]
arm64	8.19-1	132.9 kB	837.0 kB	[list of files]
armhf	8.19-1	131.2 kB	751.0 kB	[list of files]
i386	8.19-1	135.3 kB	783.0 kB	[list of files]
ppc64 (unofficial port)	8.17-1+b1	131.9 kB	825.0 kB	[list of files]
ppc64el	8.19-1	134.8 kB	837.0 kB	[list of files]
riscv64	8.19-1	134.8 kB	765.0 kB	[list of files]
s390x	8.19-1	132.1 kB	781.0 kB	[list of files]