Paket: why3-coq (1.3.3-3) [debports]

[ Källkod:  ]

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.

Andra paket besläktade med why3-coq

• dep: coq-8.12.0+4.11.1

  virtuellt paket som tillhandahålls av coq

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Hämta why3-coq

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
x32 (inofficiell anpassning)	739,2 kbyte	3.826,0 kbyte	[filförteckning]