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

[ Source: coq  ]

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

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

• dep: coq-theories (= 8.12.0-3+b3)

  proof assistant for higher-order logic (theories)

• dep: libc6 (>= 2.29)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libcoq-ocaml-zuzr9

  virtual package provided by libcoq-ocaml

• dep: libnum-ocaml-hqq52

  virtual package provided by libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  virtual package provided by ocaml-base-nox

• dep: ocaml-findlib

  management tool for OCaml libraries

• dep: ocaml-nox

  Реалізація ML із класовою системою об’єктів (без X)

• dep: python3

  Інтерактивна обʼєктно-орієнтована мова високого рівня (типова версія „python3“)

• sug: coq-doc

  Пакунок недоступний

• sug: coqide

  proof assistant for higher-order logic (gtk interface)

  or proofgeneral

  generic frontend for proof assistants

• sug: ledit

  line editor for interactive programs

  or readline-editor

  virtual package provided by ledit, rlfe, rlwrap

• sug: libcoq-ocaml-dev

  development libraries and tools for Coq

• sug: why (>= 2.19)

  Пакунок недоступний

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

Завантаження для всіх доступних архітектур

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