Package: coq (8.19.1+dfsg-3 and others)

[ Source: coq  ]

Bevisassistent for højere ordens logik - topniveau og kompiler

Coq er en bevisassistent for højere ordens logik, som tillader udviklingen af computerprogrammer som overholder deres formelle specifikationer. Det udvikles med brug af Objective Caml og Camlp5.

Denne pakke tilbyder coqtop, en kommandolinjegrænseflade til Coq.

En grafisk grænseflade for Coq tilbydes i pakken coqide. Coq kan også bruges med ProofGeneral, som tillader at beviser redigeres med emacs og xemacs. Dette kræver at pakken proofgeneral er installeret.

Tags: Software Development: Compiler, Field: Mathematics, Implemented in: implemented-in::ocaml, interface::commandline, User Interface: Text-based Interactive, Role: role::program, scope::utility, Interface Toolkit: Ncurses TUI

Other Packages Related to coq

• dep: libc6 (>= 2.38)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libcoq-core-ocaml-2h7p6

  virtual package provided by libcoq-core-ocaml

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

  Bevisassistent for højere ordens logik - teorier

• dep: libfindlib-ocaml-0ne56

  virtual package provided by libfindlib-ocaml

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

  Bibliotek til multipræcision i aritmetik

• dep: libstdlib-ocaml-7l663

  virtual package provided by libstdlib-ocaml

• dep: libzarith-ocaml-mtsj7

  virtual package provided by libzarith-ocaml

• dep: ocaml

  ML sprogimplementering med et klassebasseret objektsystem

• dep: ocaml-base-5.2.0

  virtual package provided by ocaml-base

• dep: ocaml-findlib

  Håndteringsværktøj for OCaml-biblioteker

• dep: python3

  Interaktivt objektorienteret højniveausprog - standardversion af Python 3

• sug: coq-doc

  documentation for Coq

• sug: coqide

  bevisassistent for højere ordens logik (gtk-brugerflade)

  or proofgeneral

  Generisk brugerflade for bevisassistenter

• sug: ledit

  linjeredigeringsprogram for interaktive programmer

  or readline-editor

  virtual package provided by ledit, rlfe, rlwrap

• sug: libcoq-core-ocaml-dev

  Udviklingsbiblioteker og værktøjer for Coq

• sug: why (>= 2.19)

  Package not available

Download coq

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	8.19.1+dfsg-3+b2	84,594.1 kB	330,205.0 kB	[list of files]