Package: why3-doc-html (1.8.2-3)

[ Source: why3  ]

HTML Documentation of the why3 verification platform

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

Other Packages Related to why3-doc-html

• dep: libjs-jquery

  JavaScript library for dynamic web applications

• dep: libjs-mathjax

  JavaScript display engine for LaTeX and MathML

• dep: libjs-sphinxdoc

  JavaScript support for Sphinx documentation

• dep: libjs-underscore

  JavaScript's functional programming helper library

• dep: tex-common (>= 6.13)

  TeX 빌딩 및 설치를 위한 공용 인프라

• sug: why3

  Software verification platform

Download why3-doc-html

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	1,252.0 kB	3,413.0 kB	[list of files]