全部搜索项
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ 源代码: coq  ]

软件包: coqide (8.2.pl2+dfsg-1)

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.

标签: Software Development: IDE, Field: 数学, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

其他与 coqide 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • enhances

下载 coqide

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
powerpc 6,440.3 kB19,432.0 kB [文件列表]