软件包：libcoq-corn（8.16.0-2 以及其他的）

[ 源代码： 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 有关的软件包

• dep: libcoq-bignums-9elb7

  本虚包由这些包填实： libcoq-bignums

• dep: libcoq-math-classes-1qc40

  本虚包由这些包填实： libcoq-math-classes

• dep: libcoq-stdlib-u2uh4

  本虚包由这些包填实： libcoq-stdlib

下载 libcoq-corn

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
armhf	8.16.0-2+b1	11,053.1 kB	60,450.0 kB	[文件列表]