Pakiet: coq-theories (8.12.0-3 i inne) [debports]

Odnośniki dla coq-theories

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

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 coq-theories

wymaga

poleca

sugeruje

enhances

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
ia64 (port nieoficjalny)	8.12.0-3+b3	23 359,0 KiB	166 286,0 KiB	[lista plików]