Package: why3-coq (1.2.0-1)

[ Source: 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.

Other Packages Related to why3-coq

• dep: coq-8.9.0+4.05.0

  virtual package provided by coq

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Download why3-coq

Download for all available architectures

Architecture	Package Size	Installed Size	Files
armhf	587.9 kB	2,720.0 kB	[list of files]