パッケージ: why3-doc-html (1.5.1-1)

[ ソース: 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

  Sphinx ドキュメンテーション用 JavaScript サポート

• dep: libjs-underscore

  JavaScript's functional programming helper library

• dep: tex-common (>= 6.13)

  TeX の構築およびインストールのための共通基盤

• sug: why3

  Software verification platform

why3-doc-html のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	897.9 kB	2,565.0 kB	[ファイル一覧]