Paket: why3-coq (1.2.0-1)

[ Kaynak: 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 ile İlgili Diğer Paketler

• dep: coq-8.9.0+4.05.0

  sanal paketi sağlayan coq

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

why3-coq indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	582,8 kB	2.714,0 kB	[dosya listesi]
arm64	582,3 kB	2.714,0 kB	[dosya listesi]
armhf	587,9 kB	2.720,0 kB	[dosya listesi]
i386	587,8 kB	2.720,0 kB	[dosya listesi]