全部搜索项
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ 源代码: coq  ]

软件包:coq(8.4pl4dfsg-1)

coq 的相关链接

Screenshot

Debian 的资源:

下载源码包 coq

维护小组:

外部的资源:

相似软件包:

proof assistant for higher-order logic (toplevel and compiler)

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 provides coqtop, a command line interface to Coq.

A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.

标签: 软件开发: 编译器, 领域: 数学, 实做语言: implemented-in::ocaml, interface::commandline, 用户接口: 文本模式, 角色: role::program, scope::utility, 界面工具箱: Ncurses TUI

其他与 coq 有关的软件包

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

下载 coq

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 3,953.0 kB21,928.0 kB [文件列表]
armel 3,742.1 kB19,421.0 kB [文件列表]
armhf 3,830.4 kB17,190.0 kB [文件列表]
i386 3,717.4 kB18,797.0 kB [文件列表]