Paket: why3-doc-html (1.3.3-1)

[ Quellcode: why3  ]

HTML Documentation of the why3 verification platform

This package contains the tutorial and reference manual of the why3 verification platform in HTML format.

Andere Pakete mit Bezug zu why3-doc-html

• dep: libjs-jquery

  JavaScript-Bibliothek für dynamische Webanwendungen

• dep: libjs-mathjax

  JavaScript-Engine zur Anzeige von LaTeX und MathML

• dep: libjs-sphinxdoc

  JavaScript-Unterstützung für Sphinx-Dokumentation

• dep: libjs-underscore

  JavaScript-Hilfsbibliothek für funktionale Programmierung

• dep: tex-common (>= 6.13)

  Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

• sug: why3

  Software verification platform

why3-doc-html herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	937,8 kB	2.376,0 kB	[Liste der Dateien]