Package: why3-doc-html (1.5.1-1)

[ Source: why3  ]

documentazione HTML della piattaforma di verifica why3

Questo pacchetto contiene il tutorial e il manuale di riferimento della piattaforma di verifica why3, in formato HTML.

Other Packages Related to why3-doc-html

• dep: libjs-jquery

  libreria JavaScript per applicazioni web dinamiche

• dep: libjs-mathjax

  motore di visualizzazione JavaScript per LaTeX e MathML

• dep: libjs-sphinxdoc

  supporto JavaScript per la documentazione di Sphinx

• dep: libjs-underscore

  libreria ausiliaria per programmazione funzionale di JavaScript

• dep: tex-common (>= 6.13)

  infrastruttura comune per compilare e installare TeX

• sug: why3

  piattaforma di verifica del software

Download why3-doc-html

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	897.9 kB	2,565.0 kB	[list of files]