Balík: why3-coq (1.3.3-1 a iné)

[ Zdroj: why3  ]

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

• 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	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
armhf	1.3.3-1+b4	739.1 kB	3,827.0 kB	[zoznam súborov]