Пакунок: coq (8.19.1+dfsg-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: libc6 (>= 2.38)

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

• dep: libcoq-core-ocaml-erpn3

  virtual package provided by libcoq-core-ocaml

• dep: libcoq-stdlib (= 8.19.1+dfsg-3+b2)

  proof assistant for higher-order logic (theories)

• dep: libfindlib-ocaml-s9ic8

  virtual package provided by libfindlib-ocaml

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Арифметична бібліотека багатоточності

• dep: libstdlib-ocaml-0d647

  virtual package provided by libstdlib-ocaml

• dep: libzarith-ocaml-mtsj7

  virtual package provided by libzarith-ocaml

• dep: ocaml

  ML language implementation with a class-based object system

• dep: ocaml-base-5.2.0

  virtual package provided by ocaml-base

• dep: ocaml-findlib

  management tool for OCaml libraries

• dep: python3

  interactive high-level object-oriented language (default python3 version)

• sug: coq-doc

  documentation for Coq

• 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-core-ocaml-dev

  development libraries and tools for Coq

• sug: why (>= 2.19)

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

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

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

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
arm64	8.19.1+dfsg-3+b2	89,647.3 kB	358,509.0 kB	[список файлів]