Balík: why3-examples (1.7.2-2)

[ Zdroj: 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.

Ostatné balíky súvisiace s balíkom why3-examples

• dep: tex-common (>= 6.13)

  spoločná infraštruktúra na zostavovanie a inštalovanie TeXu

• rec: why3

  Software verification platform

Stiahnuť why3-examples

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	3,952.8 kB	18,135.0 kB	[zoznam súborov]