Balík: coq (8.9.0-1)

[ Zdroj: coq  ]

proof assistant for higher-order logic (toplevel and compiler)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides coqtop, a command line interface to Coq.

The proofgeneral package allows proofs to be edited using Emacs and XEmacs.

Značky: Software Development: Kompilátor, Pole: Matematika, Implementované v: implemented-in::ocaml, interface::commandline, User Interface: Text-based Interactive, Role: role::program, scope::utility, Sada nástrojov používateľského rozhrania: Ncurses TUI

Ostatné balíky súvisiace s balíkom coq

• dep: coq-theories (= 8.9.0-1)

  asistent dôkazov logiky vyššieho rádu (teórie)

• dep: libc6 (>= 2.28)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libcoq-ocaml-35sv0 [i386]

  virtuálny balík poskytovaný balíkom libcoq-ocaml

• dep: libcoq-ocaml-fl0a8 [armhf]

  virtuálny balík poskytovaný balíkom libcoq-ocaml

• dep: libcoq-ocaml-m8xw4 [amd64]

  virtuálny balík poskytovaný balíkom libcoq-ocaml

• dep: libcoq-ocaml-yvk13 [arm64]

  virtuálny balík poskytovaný balíkom libcoq-ocaml

• dep: ocaml-base-nox-4.05.0

  virtuálny balík poskytovaný balíkom ocaml-base-nox

• dep: ocaml-findlib

  nástroj na správu knižníc OCaml

• dep: ocaml-nox

  implementácia ML s objektovým systémom založeným na triedach (bez podpory X)

• dep: python3

  interaktívny vysokoúrovňový objektovo orientovaný jazyk (predvolená verzia python3)

• sug: coq-doc

  Balík nie je dostupný

• sug: ledit

  riadkový editor pre interaktívne programy

  alebo readline-editor

  virtuálny balík poskytovaný balíkom ledit, rlfe, rlwrap

• sug: libcoq-ocaml-dev

  development libraries and tools for Coq

• sug: proofgeneral

  Balík nie je dostupný

• sug: why (>= 2.19)

  Balík nie je dostupný

Stiahnuť coq

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	57,608.0 kB	233,951.0 kB	[zoznam súborov]
arm64	61,852.8 kB	254,534.0 kB	[zoznam súborov]
armhf	55,983.5 kB	197,337.0 kB	[zoznam súborov]
i386	54,878.8 kB	208,963.0 kB	[zoznam súborov]