[ bullseye ] [ sid ]

[ Zdroj: ]

Balík: why3-coq (1.3.3-3) [debports]

Odkazy pre why3-coq

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Externé zdroje:

Domovská stránka [why3.lri.fr]

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom why3-coq

závisí

odporúča

navrhuje

vylepšuje

dep: coq-8.12.0+4.11.1

virtuálny balík poskytovaný balíkom coq
dep: tex-common (>= 6.13)

spoločná infraštruktúra na zostavovanie a inštalovanie TeXu

rec: why3

Software verification platform

Stiahnuť why3-coq

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
x32 (neoficiálny port)	739.2 kB	3,826.0 kB	[zoznam súborov]