[ bianca ]

[ Kaynak: why3 ]

Paket: why3-examples (1.8.0-2)

why3-examples için bağlantılar

eLxr Yama Takipçisi

why3 Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [why3.lri.fr]

Benzer paketler:

Examples for the why3 verification platform

This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.

why3-examples ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

rec: why3

Software verification platform

why3-examples indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
all	4.172,8 kB	19.329,0 kB	[dosya listesi]