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

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

Coq support for the why3 verification platform

This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.

Други пакети, свързани с why3-coq

  • зависимости
  • препоръчани
  • предложени
  • rec: why3
    Software verification platform

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

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 2 062,7 кБ10187 кБ [списък на файловете]
i386 1 856,3 кБ8416 кБ [списък на файловете]