Пакет: why3-coq (1.2.0-1)

[ Източник: why3  ]

Coq support for the why3 verification platform

This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.

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

• dep: coq-8.9.0+4.05.0

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

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

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

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

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	582,8 кБ	2 714,0 кБ	[списък на файловете]
arm64	582,3 кБ	2 714,0 кБ	[списък на файловете]
armhf	587,9 кБ	2 720,0 кБ	[списък на файловете]
i386	587,8 кБ	2 720,0 кБ	[списък на файловете]