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

パッケージ: why3-doc-pdf (1.5.1-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,250.6 kB1,321.0 kB [ファイル一覧]