全部搜索项
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ 源代码: proofgeneral  ]

软件包:proofgeneral-doc(4.4.1~pre170114-1.2)

proofgeneral-doc 的相关链接

Screenshot

Debian 的资源:

下载源码包 proofgeneral

维护者:

外部的资源:

相似软件包:

generic frontend for proof assistants - documentation

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

This package provides the Proof General user manual in info, html and pdf form.

标签: 领域: 数学, 原料: HTML, 超本文标记语言, 角色: 文档, 应用程序集: suite::emacs, use::checking

其他与 proofgeneral-doc 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 proofgeneral-doc

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 665.8 kB1,556.0 kB [文件列表]