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

パッケージ: why3-examples (1.7.2-2)

why3-examples に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

Examples for the why3 verification platform

This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.

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

  • 依存
  • 推奨
  • 提案
  • enhances

why3-examples のダウンロード

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