Пакунок: why3-examples (1.2.0-1)

[ 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)

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

• rec: why3

  Software verification platform

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

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

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
all	2,415.4 kB	13,068.0 kB	[список файлів]