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

[ Source:  ]

gestione di Coq per la piattaforma di verifica why3

Questo pacchetto contiene i file coq compilati che sono necessari per usare l'assistente per dimostrazioni coq insieme con la piattaforma di verifica deduttiva why3.

Other Packages Related to why3-coq

• dep: coq-8.12.0+4.11.1

  virtual package provided by coq

• dep: tex-common (>= 6.13)

  infrastruttura comune per compilare e installare TeX

• rec: why3

  piattaforma di verifica del software

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]