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

软件包:coqide(8.3.pl4+dfsg-2)

coqide 的相关链接

Screenshot

Debian 的资源:

下载源码包 coq

维护小组:

外部的资源:

相似软件包:

proof assistant for higher-order logic (gtk interface)

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 CoqIde, a graphical user interface for developing proofs.

标签: 软件开发: IDE, 领域: 数学, 实做语言: OCaml, 用户接口: interface::x11, role::program, 范围: 应用程序, Interface Toolkit: GTK, uitoolkit::ncurses, use::checking, X 窗口系统: 应用程序

其他与 coqide 有关的软件包

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

下载 coqide

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 5,491。1 kB18,520。0 kB [文件列表]
armel 5,999。7 kB18,528。0 kB [文件列表]
armhf 2,481。0 kB9,418。0 kB [文件列表]
i386 5,112。5 kB15,972。0 kB [文件列表]
ia64 2,477。6 kB9,418。0 kB [文件列表]
kfreebsd-amd64 5,490。6 kB18,467。0 kB [文件列表]
kfreebsd-i386 5,109。5 kB15,919。0 kB [文件列表]
mips 2,477。7 kB9,418。0 kB [文件列表]
mipsel 2,477。7 kB9,418。0 kB [文件列表]
powerpc 5,509。1 kB16,571。0 kB [文件列表]
s390 2,479。2 kB9,418。0 kB [文件列表]
s390x 2,481。0 kB9,418。0 kB [文件列表]
sparc 5,366。4 kB16,486。0 kB [文件列表]