[ Источник: coqprime ]
Пакет: libcoq-coqprime (8.19-1)
Ссылки для libcoq-coqprime
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код coqprime:
Сопровождающие:
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
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 curvecertificates of primality
Coq is a proof assistant for higher-order logic.
This package contains the Coq library part.
Другие пакеты, относящиеся к libcoq-coqprime
|
|
|
|
-
- dep: libcoq-bignums-jkva2
- виртуальный пакет, предоставляемый libcoq-bignums
-
- dep: libcoq-stdlib-ry8i6
- виртуальный пакет, предоставляемый libcoq-stdlib
Загрузка libcoq-coqprime
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
i386 | 1 755,3 Кб | 7 441,0 Кб | [список файлов] |