Пакунок: why3-examples (1.7.2-2)

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

Інші пакунки пов'язані з why3-examples

• dep: tex-common (>= 6.13)

  Загальна інфраструктура для побудови та встановлення TeX

• rec: why3

  Software verification platform

Завантажити why3-examples

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
all	3,952.8 kB	18,135.0 kB	[список файлів]