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

[ Source:  ]

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.

Muut pakettiin why3-coq liittyvät paketit

• dep: coq-8.12.0+4.11.1

  näennäispaketti, jonka toteuttaa coq

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Imuroi why3-coq

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
x32 (epävirallinen siirros)	739.2 kt	3,826.0 kt	[tiedostoluettelo]