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

Пакунок: 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.

Інші пакунки пов'язані з libcoq-coqprime

  • depends
  • recommends
  • suggests
  • enhances

Завантажити libcoq-coqprime

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
s390x 1,709.4 kB7,343.0 kB [список файлів]