[ bianca ]

[ Источник: why3 ]

Пакет: why3-examples (1.8.0-2)

Ссылки для why3-examples

Отслеживание заплат eLxr

Исходный код why3:

Сопровождающие:

Внешние ресурсы:

Сайт [why3.lri.fr]

Подобные пакеты:

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

зависимости

рекомендации

предложения

enhances

dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

rec: why3

Software verification platform

Загрузка why3-examples

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
all	4 172,8 Кб	19 329,0 Кб	[список файлов]