Paket: why3-examples (1.7.2-2)

[ Källkod: why3  ]

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.

Andra paket besläktade med why3-examples

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Hämta why3-examples

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	3.952,8 kbyte	18.135,0 kbyte	[filförteckning]