Package: why3-doc-html (1.7.2-2)

[ Source: why3  ]

HTML-dokumentation for why3-verifikationsplatformen

Denne pakke indeholder øvelser og referencemanualen for why3-verifikationsplatformen i HTML-format.

Other Packages Related to why3-doc-html

• dep: libjs-jquery

  JavaScript-bibliotek for dynamiske internetprogrammer

• dep: libjs-mathjax

  JavaScript-visningsmotor for LaTeX og MathML

• dep: libjs-sphinxdoc

  JavaScript-understøttelse for Sphinx-dokumentation

• dep: libjs-underscore

  JavaScripts hjælpebibliotek for funktionel programmering

• dep: tex-common (>= 6.13)

  Fælles infrastruktur for bygning og installation af TeX

• sug: why3

  Programverifikationsplatform

Download why3-doc-html

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	1,036.6 kB	3,042.0 kB	[list of files]