Pakiet: coq-theories (8.12.0-3 i inne)

[ Pakiet źródłowy: coq  ]

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.

Znaczniki: Rozwój oprogramowania: Biblioteki, Dziedzina: Matematyka, Rola: Dane aplikacji

Inne pakiety związane z coq-theories

• dep: coq-8.12.0+4.11.1

  pakiet wirtualny udostępniany przez coq

• rec: coq (>= 8.0)

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

Pobieranie coq-theories

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	8.12.0-3+b3	35 646,3 KiB	280 422,0 KiB	[lista plików]
arm64	8.12.0-3+b3	23 365,1 KiB	166 283,0 KiB	[lista plików]
armel	8.12.0-3+b3	23 353,0 KiB	166 204,0 KiB	[lista plików]
armhf	8.12.0-3+b3	23 358,1 KiB	166 196,0 KiB	[lista plików]
i386	8.12.0-3+b3	34 411,8 KiB	259 191,0 KiB	[lista plików]
mips64el	8.12.0-3+b3	23 361,8 KiB	166 287,0 KiB	[lista plików]
mipsel	8.12.0-3+b3	23 354,3 KiB	166 204,0 KiB	[lista plików]
ppc64el	8.12.0-3+b3	23 359,8 KiB	166 283,0 KiB	[lista plików]