Package: why3-coq (1.3.3-3) [debports]

[ Source:  ]

Coq-understøttelse for why3-verifikationsplatformen

Denne pakke indeholder de kompilerede coq-filer, som er nødvendige for at bruge coq proof-assistenten sammen med den why3-deduktive verifikationsplatform.

Other Packages Related to why3-coq

• dep: coq-8.12.0+4.11.1

  virtual package provided by coq

• dep: tex-common (>= 6.13)

  Fælles infrastruktur for bygning og installation af TeX

• rec: why3

  Programverifikationsplatform

Download why3-coq

Download for all available architectures

Architecture	Package Size	Installed Size	Files
x32 (unofficial port)	739.2 kB	3,826.0 kB	[list of files]