tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: coq  ]

Paket: coq (8.9.0-1)

coq için bağlantılar

Screenshot

Debian Kaynakları:

coq Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

coq indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 57.608,0 kB233.951,0 kB [dosya listesi]
arm64 61.852,8 kB254.534,0 kB [dosya listesi]
armhf 55.983,5 kB197.337,0 kB [dosya listesi]
i386 54.878,8 kB208.963,0 kB [dosya listesi]