Pakket: why3-coq (1.2.0-1)

[ Bron: 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.

Andere aan why3-coq gerelateerde pakketten

• dep: coq-8.9.0+4.05.0

  virtueel pakket geboden door coq

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

why3-coq downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	582,8 kB	2.714,0 kB	[overzicht]
arm64	582,3 kB	2.714,0 kB	[overzicht]
armhf	587,9 kB	2.720,0 kB	[overzicht]
i386	587,8 kB	2.720,0 kB	[overzicht]