Пакет: why3-doc-html (1.7.2-2)

[ Източник: why3  ]

HTML Documentation of the why3 verification platform

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

Други пакети, свързани с 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)

  common infrastructure for building and installing TeX

• sug: why3

  Software verification platform

Изтегляне на why3-doc-html

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	1 036,6 кБ	3 042,0 кБ	[списък на файловете]