wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: why3  ]

Pakiet: why3-examples (1.5.1-1)

Odnośniki dla why3-examples

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego why3:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z why3-examples

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie why3-examples

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 3 839,9 KiB20 006,0 KiB [lista plików]