Paket: coq (8.9.0-1)

[ Kaynak: 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.

Etiketler: Yazılım Geliştirme: Derleyici, Alan: Matematik, Geliştirildiği dil: implemented-in::ocaml, interface::commandline, Kullanıcı Arayüzü: Metin Tabanlı Etkileşimli, Rol: role::program, scope::utility, Arayüz Araç Takımı: Ncurses TUI

coq ile İlgili Diğer Paketler

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

  proof assistant for higher-order logic (theories)

• dep: libc6 (>= 2.28)

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

• dep: libcoq-ocaml-yvk13

  sanal paketi sağlayan libcoq-ocaml

• dep: ocaml-base-nox-4.05.0

  sanal paketi sağlayan ocaml-base-nox

• dep: ocaml-findlib

  management tool for OCaml libraries

• dep: ocaml-nox

  ML implementation with a class-based object system (no X)

• dep: python3

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

• sug: coq-doc

  Paket mevcut değil

• sug: ledit

  line editor for interactive programs

  ya da readline-editor

  sanal paketi sağlayan ledit, rlfe, rlwrap

• sug: libcoq-ocaml-dev

  development libraries and tools for Coq

• sug: proofgeneral

  Paket mevcut değil

• sug: why (>= 2.19)

  Paket mevcut değil

coq indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
arm64	61.852,8 kB	254.534,0 kB	[dosya listesi]