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

Пакунок: coq (8.12.0-3 and others)

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

Завантаження для всіх доступних архітектур
Архітектура Версія Розмір пакунка Розмір після встановлення Файли
armhf 8.12.0-3+b3 86,284.5 kB308,733.0 kB [список файлів]