all options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: coqprime  ]

Package: libcoq-coqprime (8.20.1-1 and others)

Links for libcoq-coqprime

Screenshot

Debian Resources:

Download Source Package coqprime:

Maintainers:

External Resources:

Similar packages:

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.

Other Packages Related to libcoq-coqprime

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-coqprime

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 8.20.1-1+b4 1,737.1 kB6,567.0 kB [list of files]
arm64 8.20.1-1+b4 1,737.4 kB6,567.0 kB [list of files]
ppc64el 8.20.1-1+b4 1,737.5 kB6,567.0 kB [list of files]
riscv64 8.20.1-1+b4 1,736.9 kB6,567.0 kB [list of files]
s390x 8.20.1-1+b4 1,737.6 kB6,567.0 kB [list of files]