all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: coq  ]

Пакунок: coq (8.6-4)

Links for coq

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

External Resources:

Similar packages:

Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)

Coq — допоміжний інструмент для доведення теорем логіки вищого порядку, що дозволяє розробляти комп'ютерні програми відповідно до їх формальної специфікації. Ця програма написана на Objective Caml та Camlp5.

Пакунок надає „coqtop“, інтерфейс командного рядка для Coq.

Графічний інтерфейс Coq надається пакунком „coqide“. Coq також може використовуватися з ProofGeneral, який дозволяє редагувати докази в „emacs“ та „xemacs“. Останнє вимагає встановлення пакунка „proofgeneral“.

Tags: Software Development: Compiler, Field: Математика, Implemented in: implemented-in::ocaml, interface::commandline, User Interface: Text-based Interactive, Role: role::program, scope::utility, Interface Toolkit: Ncurses TUI

Інші пакунки пов'язані з coq

  • depends
  • recommends
  • suggests
  • enhances

Завантажити coq

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 13,626.4 kB56,663.0 kB [список файлів]
arm64 13,501.5 kB56,586.0 kB [список файлів]
armel 13,512.9 kB53,061.0 kB [список файлів]
armhf 13,592.9 kB49,728.0 kB [список файлів]
i386 13,275.2 kB52,599.0 kB [список файлів]
mips 18,674.1 kB82,588.0 kB [список файлів]
mips64el 18,671.8 kB82,588.0 kB [список файлів]
mipsel 18,671.2 kB82,588.0 kB [список файлів]
ppc64el 18,670.7 kB82,588.0 kB [список файлів]
s390x 18,673.2 kB82,588.0 kB [список файлів]