[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Kaynak: why3 ]

Paket: why3-examples (1.6.0-1)

why3-examples için bağlantılar

Debian Kaynakları:

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	3.909,1 kB	19.490,0 kB	[dosya listesi]