tüm seçenekler
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Kaynak: why3  ]

Paket: why3-doc-pdf (1.3.3-1)

why3-doc-pdf için bağlantılar

Screenshot

Debian Kaynakları:

why3 Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

PDF Documentation of the why3 verification platform

This package contains the tutorial and reference manual of the why3 verification platform in PDF format.

why3-doc-pdf ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

why3-doc-pdf indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 1.032,2 kB1.096,0 kB [dosya listesi]