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

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

proofgeneral 的相关链接

Screenshot

Debian 的资源:

下载源码包 proofgeneral

维护者:

外部的资源:

相似软件包:

generic frontend for proof assistants

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 Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)

标签: 领域: 数学, 实做语言: Lisp, 用户接口: interface::graphical, interface::text-mode, X 窗口系统, 角色: 插件, role::program, suite::emacs, Purpose: 编辑, X 窗口系统: 应用程序

其他与 proofgeneral 有关的软件包

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

下载 proofgeneral

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