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

Package: libcoq-coqprime (8.18-1)

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 Package Size Installed Size Files
armhf 1,711.2 kB7,347.0 kB [list of files]