Skip to content
Sections
>> Trisquel >> Пакети >> etiona >> math >> why3-examples
etiona  ] [  nabia  ]
[ Източник: why3  ]

Пакет: why3-examples (0.88.3-1ubuntu4)

Връзки за why3-examples

why3-examples

Ресурси за Trisquel:

Изтегляне на пакет-източник why3.

Отговорник:

Original Maintainers:

Външни препратки:

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

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)
    common infrastructure for building and installing TeX
  • rec: why3
    Software verification platform

Изтегляне на why3-examples

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
all 1 579,0 кБ2940 кБ [списък на файловете]