Balík: why3-doc-html (1.7.2-2)

[ Zdroj: why3  ]

HTML Documentation of the why3 verification platform

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

Ostatné balíky súvisiace s balíkom why3-doc-html

• dep: libjs-jquery

  JavaScript library for dynamic web applications

• dep: libjs-mathjax

  jadro JavaScript na vykresľovanie pre LaTeX a MathML

• dep: libjs-sphinxdoc

  podpora JavaScriptu v dokumentácii Sphinx

• dep: libjs-underscore

  pomocná knižnica JavaScriptu na funkcionálne programovanie

• dep: tex-common (>= 6.13)

  spoločná infraštruktúra na zostavovanie a inštalovanie TeXu

• sug: why3

  Software verification platform

Stiahnuť why3-doc-html

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	1,036.6 kB	3,042.0 kB	[zoznam súborov]