[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ 原始碼： why3 ]

套件：why3-doc-html（1.2.0-1）

why3-doc-html 的相關連結

Debian 的資源：

下載原始碼套件 why3：

維護小組：

外部的資源：

主頁 [why3.lri.fr]

相似套件：

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: tex-common (>= 6)

common infrastructure for building and installing TeX

sug: why3

Software verification platform

下載 why3-doc-html

下載可用於所有硬體架構的
硬體架構	套件大小	安裝後大小	檔案
all	353。6 kB	1，335。0 kB	[檔案列表]