alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: why3  ]

Pakket: why3-examples (1.2.0-1)

Verwijzigingen voor why3-examples

Screenshot

Debian bronnen:

Het bronpakket why3 downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan why3-examples gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

why3-examples downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 2.415,4 kB13.068,0 kB [overzicht]