Pakiet: libcoq-stdlib (8.19.1+dfsg-2)

Odnośniki dla libcoq-stdlib

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [coq.inria.fr]

Podobne pakiety:

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.

Inne pakiety związane z libcoq-stdlib

wymaga

poleca

sugeruje

enhances

rec: coq

Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)

Pobieranie libcoq-stdlib

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	23 099,1 KiB	154 537,0 KiB	[lista plików]
arm64	23 101,5 KiB	154 537,0 KiB	[lista plików]
armhf	23 101,0 KiB	154 495,0 KiB	[lista plików]
i386	23 099,7 KiB	154 495,0 KiB	[lista plików]
ppc64el	23 102,3 KiB	154 537,0 KiB	[lista plików]
riscv64	23 101,2 KiB	154 537,0 KiB	[lista plików]
s390x	23 101,2 KiB	154 537,0 KiB	[lista plików]