Paket: libcoq-stdlib (8.20.1+dfsg-1 ve diğerleri)

libcoq-stdlib için bağlantılar

eLxr Yama Takipçisi

coq Kaynak Paketini İndir:

[coq_8.20.1+dfsg-1.debian.tar.xz]
[coq_8.20.1+dfsg-1.dsc]
[coq_8.20.1+dfsg.orig.tar.xz]

Geliştiriciler:

Debian OCaml Maintainers
Benjamin Barenblat
Julien Puydt
Ralf Treinen
Stéphane Glondu

Dış Kaynaklar:

Ana Sayfa [coq.inria.fr]

Benzer paketler:

coq
libcoq-core-ocaml
libcoq-core-ocaml-dev
libcoq-mathcomp
libcoq-mathcomp-field
libcoq-mathcomp-character
libcoq-mathcomp-ssreflect
libcoq-mathcomp-fingroup
libcoq-mathcomp-algebra
libcoq-mathcomp-solvable
libcoq-flocq

proof assistant for higher-order logic (theories)

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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.

libcoq-stdlib ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

rec: coq

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

libcoq-stdlib indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	8.20.1+dfsg-1+b1	22.975,7 kB	146.164,0 kB	[dosya listesi]
arm64	8.20.1+dfsg-1+b1	22.979,9 kB	146.164,0 kB	[dosya listesi]