[ buster ] [ bullseye ] [ sid ]

[ Kaynak: ]

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

why3-coq için bağlantılar

Debian Kaynakları:

Hata Raporları

Kaynak Paketini İndir:

Bulunamadı

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [why3.lri.fr]

Benzer paketler:

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

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: coq-8.12.0+4.11.1

sanal paketi sağlayan coq
dep: tex-common (>= 6.13)

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
x32 (resmi olmayan port)	739,2 kB	3.826,0 kB	[dosya listesi]