Пакет coq: Информация

Исходный пакет: coq

Версия: 8.20.1-alt1

Собран:  16 марта 2026 г. 0:41 в задании #411481

Категория: Разработка/Прочее

Gear: https://git.altlinux.org/gears/c/coq.git?a=tree;hb=3e9ecab3a1a4a…

Домашняя страница: https://coq.inria.fr/

VCS: https://github.com/coq/coq

Лицензия: LGPL-2.1-only AND MIT AND BSD-3-Clause

О пакете: Proof management system

Описание: 

Coq is a formal proof management system.  It provides a formal language
to write mathematical definitions, executable algorithms and theorems
together with an environment for semi-interactive development of
machine-checked proofs.

Typical applications include the certification of properties of
programming languages (e.g. the CompCert compiler certification project,
or the Bedrock verified low-level programming library), the formalization
of mathematics (e.g. the full formalization of the Feit-Thompson theorem
or homotopy type theory) and teaching.

Список бинарных RPM-пакетов, собираемых из данного SRPM:
coq (x86_64, aarch64)
coq-coqide (x86_64, aarch64)
coq-coqide-debuginfo (x86_64, aarch64)
coq-coqide-server (x86_64, aarch64)
coq-coqide-server-debuginfo (x86_64, aarch64)
coq-core (x86_64, aarch64)
coq-core-debuginfo (x86_64, aarch64)

Сопровождающий: Leonid Znamenok