套件：coq-doc-pdf（8.20.0-1） [non-free]

[ 原始碼： coq-doc  ]

documentation for Coq in pdf format

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package contains its documentation and tutorials in pdf format.

標籤: 軟體開發: 文件, 原料: PDF 文件, 角色: 文件

下載 coq-doc-pdf

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
all	4，943。2 kB	4，955。0 kB	[檔案列表]