すべてのオプション
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: why3  ]

パッケージ: why3-doc-pdf (1.2.0-1)

why3-doc-pdf に関するリンク

Screenshot

Debian の資源:

why3 ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

PDF Documentation of the why3 verification platform

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

その他の why3-doc-pdf 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 1,244.1 kB1,307.0 kB [ファイル一覧]