Tarkennettu haku
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: why3  ]

Paketti: why3-doc-pdf (1.2.0-1)

Links for why3-doc-pdf

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti why3:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

PDF Documentation of the why3 verification platform

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

Muut pakettiin why3-doc-pdf liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi why3-doc-pdf

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 1,244.1 kt1,307.0 kt [tiedostoluettelo]