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

软件包:libcoq-ocaml-dev(8.4pl4dfsg-1)

libcoq-ocaml-dev 的相关链接

Screenshot

Debian 的资源:

下载源码包 coq

维护小组:

外部的资源:

相似软件包:

development libraries and tools for Coq

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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.

标签: 软件开发: 函数库, 角色: 开发用函数库

其他与 libcoq-ocaml-dev 有关的软件包

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

下载 libcoq-ocaml-dev

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 3,691.7 kB28,387.0 kB [文件列表]
armel 4,023.1 kB23,422.0 kB [文件列表]
armhf 3,922.7 kB21,977.0 kB [文件列表]
i386 3,685.2 kB21,658.0 kB [文件列表]