Пакет: coq-theories (8.9.0-1)

[ Източник: 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.

Етикети: Software Development: Библиотеки, Field: Математика, Role: Application Data

Други пакети, свързани с coq-theories

• dep: coq-8.9.0+4.05.0

  виртуален пакет, предлаган от coq

• dep: libc6 (>= 2.1.3) [i386]

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• rec: coq (>= 8.0)

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

Изтегляне на coq-theories

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	29 040,7 кБ	216 590,0 кБ	[списък на файловете]
arm64	19 890,3 кБ	130 479,0 кБ	[списък на файловете]
armhf	19 874,8 кБ	130 396,0 кБ	[списък на файловете]
i386	27 749,0 кБ	196 706,0 кБ	[списък на файловете]