Package: why3-examples (1.7.2-2)

[ Source: why3  ]

esempi per la piattaforma di verifica why3

Questo pacchetto contiene esempi, sia delle attività di verifica dei programmi sia di attività di pura verifica logica, per la piattaforma why3 di verifica di software.

Other Packages Related to why3-examples

• dep: tex-common (>= 6.13)

  infrastruttura comune per compilare e installare TeX

• rec: why3

  piattaforma di verifica del software

Download why3-examples

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	3,952.8 kB	18,135.0 kB	[list of files]