全部搜索项
[  bookworm  ] [  trixie  ] [  sid  ]
[ 源代码： coq-corn  ]

软件包：libcoq-corn（8.18.0-1 以及其他的）

libcoq-corn 的相关链接

Screenshot

Debian 的资源：

下载源码包 coq-corn：

维护小组：

外部的资源：

相似软件包：

Coq Constructive Repository at Nijmegen

This library provides different theories for Coq: 

 - an algebraic hierarchy with an axiomatic formalization
of the most common algebraic structures, like setoids, monoids, groups, rings, fields, ordered fields, rings of polynomials and real and complex numbers; 
 - a construction of the real numbers satisfying the above
axiomatic description; 
 - a proof of the fundamental theorem of algebra;
 - a collection of elementary results on real analysis
 including continuity, differentiability, integration,
 Taylor's theorems and the fundamental theorem of calculus;
 - tools for exact real computations like real numbers,
 functions, integrals, graph of functions and differential
 equations.

Coq is a proof assistant for higher-order logic.

其他与 libcoq-corn 有关的软件包

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

下载 libcoq-corn

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
amd64 8.18.0-1+b1 13,158.6 kB72,014.0 kB [文件列表]
arm64 8.18.0-1+b1 13,156.7 kB72,014.0 kB [文件列表]
armhf 8.18.0-1+b1 13,156.0 kB71,964.0 kB [文件列表]
i386 8.18.0-1+b1 13,154.0 kB71,964.0 kB [文件列表]
ppc64 （非官方移植版） 8.16.0-3+b1 11,029.0 kB60,467.0 kB [文件列表]
ppc64el 8.18.0-1+b1 13,158.3 kB72,014.0 kB [文件列表]
riscv64 8.18.0-1+b1 13,156.7 kB72,014.0 kB [文件列表]
s390x 8.18.0-1+b1 13,157.1 kB72,014.0 kB [文件列表]